On the expressiveness of the approach to constructing PLC-programs by LTL-specification.
E. V. KuzminD. A. RyabukhinValery A. SokolovPublished in: Autom. Control. Comput. Sci. (2016)
Keyphrases
- linear temporal logic
- provably correct
- transition systems
- model checking
- temporal logic
- expressive power
- specification language
- high level
- control system
- control flow
- high level programming language
- control program
- deterministic automata
- formal specification
- fuzzy control
- formal verification
- programming language
- bounded model checking
- formal methods
- language constructs
- database
- computer programs
- answer sets
- neural network