Login / Signup

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.

Nazareno AguirreMarcelo F. FriasMariano M. MoscatoT. S. E. MaibaumAlan Wassyng
Published in: FASE (2009)
Keyphrases
  • high level
  • formal specification
  • decision trees
  • multiscale
  • evolutionary algorithm
  • control flow
  • delay insensitive