Login / Signup

Abstracting Models from Execution Traces for Performing Formal Verification.

Thierry BodhuinFederico PagnozziAntonella SantoneMaria TortorellaMaria Luisa Villani
Published in: FGIT-ASEA (2009)
Keyphrases
  • formal verification
  • execution traces
  • model checking
  • open source