Model-Based Verification of the DMAMAC Protocol for Real-time Process Control.
Admar Ajith Kumar SomappaAndreas PrinzLars Michael KristensenPublished in: VECoS (2015)
Keyphrases
- process control
- control system
- real time
- product quality
- cryptographic protocols
- intelligent control
- model checking
- semiconductor manufacturing
- model checker
- formal analysis
- manufacturing process
- protocol specification
- lightweight
- real time systems
- formal proof
- low cost
- network protocols
- graduate education
- communication protocol
- formal methods
- database systems
- verification method
- formal verification