Beyond SOTIF: Black Swans and Formal Methods.

Arash Khabbaz Saberi Jos Hegge Terry Fruehling Jan Friso Groote

Published in: SysCon (2020)

Keyphrases

formal methods
formal specification
formal analysis
knowledge based systems
model checking
model checker
safety critical
software engineering
artificial intelligence
black and white
temporal properties
provably correct
process algebra
development lifecycle
modeling language
knowledge acquisition
e learning