Theme issue on Integrated Formal Methods.

Einar Broch Johnsen Luigia Petre

Published in: Softw. Syst. Model. (2016)

Keyphrases

formal methods
model checking
formal analysis
knowledge based systems
safety critical
formal specification
process algebra
software engineering
model checker
artificial intelligence
temporal properties
provably correct
database
reactive systems
information systems