Cybersecurity skeptics now embracing formal methods: an interview with Gernot Heiser and Jim Morris.

Published in: Ubiquity (2017)

Keyphrases

formal methods
formal analysis
safety critical
model checking
knowledge based systems
process algebra
case study
formal specification
data collection
model checker
artificial intelligence
temporal properties
software engineering
provably correct
formal specification language
petri net
data model
knowledge base