Model-checking for real-time systems
This research extends CTL model-checking to the analysis of real-time systems, whose correctness depends on the magnitudes of the timing delays. For specifications, the syntax o...
Publications
1 shownFrequent Co-Authors
Researcher Info
- h-index
- 1
- Publications
- 1
- Citations
- 890
- Institution
- AT&T (United States)
External Links
Identifiers
- ORCID
- 0000-0001-9568-0640
Impact Metrics
h-index
1
h-index: Number of publications with at least h citations each.