Abstract Interpretation of Reactive Systems.
Dennis DamsRob GerthOrna GrumbergPublished in: ACM Trans. Program. Lang. Syst. (1997)
Keyphrases
- abstract interpretation
- reactive systems
- model checking
- temporal logic
- termination analysis
- static analysis
- formal methods
- formal specification
- dynamic analysis
- active rules
- control flow
- information flow
- petri net
- social networks
- real time
- process model
- database management systems
- logic programming
- information systems