Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program.
Borja Fernandez AdiegoIgnacio D. Lopez-MiguelJean-Charles TournierEnrique Blanco ViñuelaTomasz LadzinskiFrederic HavartPublished in: CoRR (2022)
Keyphrases
- safety critical
- model checking
- formal methods
- model checker
- temporal logic
- safety analysis
- formal specification
- formal verification
- symbolic model checking
- automated verification
- fault tolerant
- embedded systems
- verification method
- reactive systems
- finite state machines
- computation tree logic
- agent architecture
- knowledge based systems
- epistemic logic
- software systems
- bounded model checking
- control system
- modal logic
- software agents
- machine learning