Abstraction and Modular Verification of Infinite-State Reactive Systems.
Zohar MannaMichael ColónBernd FinkbeinerHenny SipmaTomás E. UribePublished in: Requirements Targeting Software and Systems Engineering (1997)
Keyphrases
- reactive systems
- model checking
- formal methods
- bounded model checking
- temporal logic
- formal verification
- formal specification
- concurrent systems
- control flow
- high level
- information flow
- petri net
- state machines
- artificial intelligence
- hardware designs
- network traffic
- knowledge based systems
- distributed systems
- query language