Verification of PLC Properties Based on Formal Semantics in Coq.
Jan Olaf BlechSidi Ould BihaPublished in: SEFM (2011)
Keyphrases
- formal semantics
- formal language
- theorem prover
- modeling language
- logical language
- model checking
- formal methods
- logical reasoning
- ontology languages
- operational semantics
- bayesian networks
- modelling language
- inference rules
- first order logic
- open source
- expert systems
- natural language
- database systems
- owl dl ontology