Guest Editorial Integrated Formal Methods.

Eerke A. Boiten John Derrick Graeme Smith

Published in: Formal Aspects Comput. (2005)

Keyphrases

formal methods
formal analysis
model checking
knowledge based systems
software engineering
model checker
special issue
temporal properties
artificial intelligence
process algebra
formal specification
provably correct
development lifecycle
temporal logic
open source
expert systems
machine learning