Formal methods and tools for industrial critical systems.

Alberto Lluch-Lafuente Anastasia Mavridou

Published in: Int. J. Softw. Tools Technol. Transf. (2022)

Keyphrases

formal methods
safety critical
formal analysis
knowledge based systems
artificial intelligence
formal specification
model checker
model checking
process algebra
provably correct
building blocks
software engineering
reactive systems
temporal properties
modeling language
industrial applications
data mining
database