Real-Time Systems: A Survey of Approaches to Formal Specification and Verification.
Carlo GhezziMiguel FelderCarlo BellettiniPublished in: ESEC (1993)
Keyphrases
- formal specification
- real time systems
- model checking
- formal methods
- concurrent systems
- object oriented design
- model checker
- grid workflow
- distributed systems
- specification language
- protocol specification
- reverse engineering
- embedded systems
- process algebra
- anytime algorithms
- database systems
- machine learning
- database