An Ontology of Specification Patterns for Verification of Concurrent Systems.
Natalia Olegovna GaraninaVladimir ZubinTatiana LyakhSergei GorlatchPublished in: SoMeT (2018)
Keyphrases
- concurrent systems
- transition systems
- process algebra
- formal specification
- model checking
- temporal logic
- distributed systems
- petri net
- formal verification
- specification language
- formal methods
- reactive systems
- pattern mining
- domain knowledge
- model checker
- natural language
- knowledge base
- domain specific
- conceptual model
- artificial intelligence
- software components
- case study