Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Published in: Formal Methods in Outer Space (2021)

Keyphrases

formal methods
formal specification
formal analysis
artificial intelligence
safety critical
knowledge based systems
temporal properties
process algebra
space time
model checking
real world
low dimensional
model checker
search space
building blocks
provably correct