Login / Signup

AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications.

Paolo ArcainiAngelo GargantiniElvinia Riccobene
Published in: ASM (2010)
Keyphrases
  • high level
  • low level
  • higher level
  • model checking
  • low level features
  • lower level
  • mid level
  • search algorithm
  • visual features
  • orders of magnitude
  • real valued