Introduction to UML and Formal Methods.

J. Paul Gibson Isabelle Perseil

Published in: ACM SIGSOFT Softw. Eng. Notes (2012)

Keyphrases

formal methods
formal analysis
model checking
software engineering
knowledge based systems
formal specification
provably correct
safety critical
process algebra
model checker
modeling language
artificial intelligence
temporal properties
object oriented
distributed systems
security properties
web services