A Technique for Using Model Checkers to Teach Formal Specifications.

Salamah Salamah Ann Q. Gates

Published in: CSEE&T (2008)

Keyphrases

mathematical model
probabilistic model
probability distribution
fine grained
specification language
multi agent
data model
knowledge representation
business process
reverse engineering
formal specification