Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Published in: Theory and Practice of Formal Methods (2016)

Keyphrases

formal methods
formal analysis
knowledge based systems
safety critical
model checker
model checking
artificial intelligence
formal specification
process algebra
provably correct
temporal properties
software engineering
real world
fine grained
knowledge acquisition
high level
e learning
data mining
databases