Safe and Secure Architecture Using Diverse Formal Methods.

Thierry Lecomte

Published in: ISoLA (4) (2022)

Keyphrases

formal methods
security properties
model checking
knowledge based systems
formal analysis
provably correct
reactive systems
software architecture
safety critical
databases
artificial intelligence
software engineering
formal specification
model checker
process algebra
development lifecycle
real world