Login / Signup

Simulator Semantics for System Level Formal Verification.

Toni ManciniFederico MariAnnalisa MassiniIgor MelattiEnrico Tronci
Published in: GandALF (2015)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • simulation model
  • symbolic model checking
  • program slicing
  • high level
  • bounded model checking
  • logic programming
  • formal semantics
  • automated verification