FASTEN: an open extensible framework to experiment with formal specification approaches: using language engineering to develop a multi-paradigm specification environment for NuSMV.
Daniel RatiuMarco GarioHannes SchoenhaarPublished in: FormaliSE@ICSE (2019)
Keyphrases
- formal specification
- specification language
- model checking
- model checker
- specification languages
- process algebra
- formal methods
- object oriented design
- temporal logic
- formal verification
- artificial intelligence
- description language
- symbolic model checking
- databases
- programming language
- software engineering
- natural language
- high level
- formal specification language