formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification.
Axel BusboomSimone SchulerAlexander WalschPublished in: ARCH@CPSWeek (2016)
Keyphrases
- semi automatic
- formal verification
- model checking
- fully automatic
- model checker
- symbolic model checking
- gold standard
- bounded model checking
- automated verification
- domain ontology
- semi automatically
- design rationale
- ontology mapping
- program slicing
- wrapper generation
- ontology development
- semantic annotation
- manual annotation
- labor intensive
- landmark extraction
- data sources
- fully automated
- temporal logic
- knowledge acquisition
- medical images
- knowledge representation