Safety Critical Systems Formal Verification Using Execution Traces.
Fabio MartinelliFrancesco MercaldoVittoria NardoneAlbina OrlandoAntonella SantoneGigliola VagliniPublished in: WETICE (2018)
Keyphrases
- safety critical
- formal verification
- formal methods
- safety analysis
- execution traces
- model checking
- fault tolerant
- model checker
- automated verification
- agent architecture
- management system
- embedded systems
- support systems
- human computer interaction
- symbolic model checking
- real time
- software components
- knowledge based systems
- software development
- distributed systems
- source code