Formalisation and verification of programmable logic controllers timers in Coq.
Hai WanGang ChenXiaoyu SongMing GuPublished in: IET Softw. (2011)
Keyphrases
- programmable logic
- formal methods
- formal analysis
- model checking
- control system
- field programmable gate array
- real time
- signature verification
- formal specification
- higher order
- knowledge based systems
- software engineering
- formal verification
- theorem prover
- face verification
- controller design
- asynchronous circuits
- verification method
- control strategy
- end users
- dynamic programming
- reinforcement learning
- information systems
- machine learning