Trace Specifications in Alloy.

Jeremy L. Jacob

Published in: ASM (2010)

Keyphrases

execution traces
high level
delay insensitive
databases
artificial intelligence
feature selection
formal specification
control flow
operational semantics