Publications
3 shownAutomatic verification of finite-state concurrent systems using temporal logic specifications
We give an efficient procedure for verifying that a finite-state concurrent system meets a specification expressed in a (propositional, branching-time) temporal logic. Our algor...
Frequent Co-Authors
Researcher Info
- h-index
- 3
- Publications
- 3
- Citations
- 13,075
- Institution
- Carnegie Mellon University
External Links
Impact Metrics
h-index
3
h-index: Number of publications with at least h citations each.