An example of linking formal methods with case tools: a model checker for statecharts.

Published in: CASCON (1993)

Keyphrases

formal methods
model checker
model checking
artificial intelligence
knowledge based systems
formal specification
software engineering
reactive systems
development lifecycle
temporal logic
knowledge base
rough sets