The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser.

Published in: SBMF (2018)

Keyphrases

formal methods
formal analysis
process algebra
model checking
artificial intelligence
safety critical
knowledge based systems
formal specification
reactive systems
temporal properties
model checker
real world
software engineering
security properties
software development
modeling language