Towards Abstraction for DynAlloy Specifications.

Nazareno Aguirre Marcelo F. Frias Pablo Ponzio Brian J. Cardiff Juan P. Galeotti Germán Regis

Published in: ICFEM (2008)

Keyphrases

high level
bounded model checking
formal specification
databases
specification language
data abstraction
data sets
data structure
model checking
functional requirements
formal verification
operational semantics
decision theoretic planning
attribute grammars