Simple Gedanken Experiments in Leveraging Applications of Formal Methods.

Raymond T. Boute

Published in: ISoLA (2008)

Keyphrases

formal methods
provably correct
formal specification
formal analysis
knowledge based systems
artificial intelligence
information systems
safety critical
development lifecycle