Possum: An Animator for the SUM Specification Language.

Daniel Hazel Paul A. Strooper Owen Traynor

Published in: APSEC (1997)

Keyphrases

specification language
formal specification
description language
programming language
software environment
symbolic execution
objective function
machine learning
information retrieval
query expansion
model checking
temporal logic
model checker