An Ontology-Based Approach to Support Formal Verification of Concurrent Systems.
Natalia Olegovna GaraninaIgor S. AnureevElena A. SidorovaDmitry KoznovVladimir ZyubinSergei GorlatchPublished in: FM Workshops (1) (2019)
Keyphrases
- formal verification
- concurrent systems
- model checking
- temporal logic
- symbolic model checking
- transition systems
- distributed systems
- bounded model checking
- automated verification
- finite state
- model checker
- formal methods
- program slicing
- process algebra
- artificial intelligence
- formal specification
- petri net
- knowledge management
- end users