Formal verification for distributed real-time control: periodic Producer/Consumer.
Shawn KoppenhoeferJean-Dominique DecotigniePublished in: ICECCS (1996)
Keyphrases
- real time control
- formal verification
- model checking
- blackboard architecture
- flexible manufacturing systems
- control system
- distributed systems
- model checker
- symbolic model checking
- bounded model checking
- machining processes
- multi agent
- distributed environment
- cooperative
- automated verification
- mobile agents
- electronic commerce
- program slicing
- strong robustness
- artificial intelligence
- stability criterion
- real time