Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example.
James ArmstrongLeonor BarrocaPublished in: Real Time Syst. (1996)
Keyphrases
- formal verification
- reactive systems
- model checking
- formal methods
- protocol specification
- asynchronous circuits
- temporal logic
- formal specification
- colored petri nets
- high level
- concurrent systems
- face verification
- verification method
- data model
- petri net
- multiscale
- signature verification
- user behaviour
- reactive planning
- specification language
- provably correct
- communication protocols
- real world
- agent architecture
- multi agent
- machine learning