Formal Methods for Industrial Critical Systems.

Jan Friso Groote Marieke Huisman

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

Keyphrases

formal methods
safety critical
real world
reactive systems
software engineering
model checking
knowledge based systems
learning systems
complex systems
databases
high level
artificial intelligence
building blocks
distributed systems
software components
database systems
critical infrastructure
temporal properties