## An Automata-Theoretic Approach to Modular Model Checking (1998)

by
Orna Kupferman
,
Moshe Y. Vardi

Citations: | 17 - 0 self |

### BibTeX

@MISC{Kupferman98anautomata-theoretic,

author = {Orna Kupferman and Moshe Y. Vardi},

title = {An Automata-Theoretic Approach to Modular Model Checking},

year = {1998}

}

### Years of Citing Articles

### OpenURL

### Abstract

this paper we consider assume-guarantee specifications in which the guarantee is specified by branching temporal formulas. We distinguish between two approaches. In the first approach, the assumption is specified by branching temporal formulas too. In the second approach, the assumption is specified by linear temporal logic. We consider guarantees in 8CTL and 8CTL