An object-oriented approach to formal specification of reactive systems.
Neel MadhavSigurd MeldalPublished in: ICDCS (1991)
Keyphrases
- reactive systems
- formal specification
- model checking
- formal methods
- temporal logic
- specification languages
- process algebra
- object oriented design
- specification language
- concurrent systems
- information flow
- artificial intelligence
- natural language
- petri net
- reverse engineering
- real time systems
- real time
- design process
- real world