Specification and verification of concurrent systems in CESAR.
Jean-Pierre QueilleJoseph SifakisPublished in: Symposium on Programming (1982)
Keyphrases
- concurrent systems
- transition systems
- formal specification
- process algebra
- temporal logic
- model checking
- distributed systems
- petri net
- specification language
- formal verification
- formal methods
- high level
- model checker
- protocol specification
- colored petri nets
- reactive systems
- reverse engineering
- building blocks
- relational databases