Speeding Up the Safety Verification of Programmable Logic Controller Code.
Tim LangeMartin R. NeuhäußerThomas NollPublished in: Haifa Verification Conference (2013)
Keyphrases
- programmable logic controller
- petri net
- hardware and software
- fuzzy control
- source code
- safety analysis
- model checking
- real time
- formal verification
- byte code
- symbolic execution
- data processing
- face verification
- databases
- functional verification
- concurrent systems
- verification method
- formal methods
- genetic algorithm
- neural network
- fuzzy logic
- knowledge base
- decision making