Login / Signup
Formal Methods in Computation.
Faron Moller
Published in:
Comput. J. (2002)
Keyphrases
</>
formal methods
formal analysis
artificial intelligence
software engineering
knowledge based systems
formal specification
safety critical
temporal properties
process algebra
model checker
development lifecycle
model checking
modeling language
database
provably correct
expert systems
security properties