On Education and Training in Formal Methods for Industrial Critical Systems.

Published in: FMICS (2021)

Keyphrases

formal methods
safety critical
knowledge based systems
formal analysis
artificial intelligence
multi agent systems
software engineering
serious games
formal specification
learning systems
fine grained
model checking
model checker
reactive systems
provably correct
development lifecycle