#### Filter Results:

- Full text PDF available (2)

#### Publication Year

2012

2015

- This year (0)
- Last 5 years (2)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Dima Elenbogen, Shmuel Katz, Ofer Strichman
- Haifa Verification Conference
- 2012

Two programs are said to be mutually terminating if they terminate on exactly the same inputs. We suggest a proof rule that uses a mapping between the functions of the two programs for proving mutual termination of functions f , f . The rule’s premise requires proving that given the same arbitrary input in, f(in) and f (in) call mapped functions with the… (More)

- Dima Elenbogen, Shmuel Katz, Ofer Strichman
- Formal Methods in System Design
- 2015

Two programs are said to be mutually terminating if they terminate on exactly the same inputs. We suggest inference rules and a proof system for proving mutual termination of a given pair of procedures 〈f , f ′〉 and the respective subprograms that they call under a free context. Given a (possibly partial) mapping between the procedures of the two programs,… (More)

- ‹
- 1
- ›