Qualification of Formal Methods Tools (Dagstuhl Seminar 15182).

Darren D. Cofer Gerwin Klein Konrad Slind Virginie Wiels

Published in: Dagstuhl Reports (2015)

Keyphrases

formal methods
formal analysis
model checking
formal specification
knowledge based systems
artificial intelligence
model checker
process algebra
safety critical
provably correct
software engineering
machine learning
temporal properties
security properties
natural language
formal specification language