Modelling and verification of program logic controllers using timed automata.
Rui WangXiaoyu SongMing GuPublished in: IET Softw. (2007)
Keyphrases
- timed automata
- model checking
- model checker
- verification method
- epistemic logic
- asynchronous circuits
- temporal logic
- reachability analysis
- bounded model checking
- formal verification
- linear temporal logic
- linear time temporal logic
- modal logic
- theorem prover
- programs written
- symbolic execution
- hardware designs
- declarative semantics
- concurrent systems
- reinforcement learning
- neural network
- automated reasoning
- control law
- deductive databases
- control system
- set theory
- modelling language
- predicate logic
- logical framework
- multi valued
- formal methods
- theorem proving
- test cases
- artificial intelligence