Login / Signup

Formal verification of ASMs using MDGs.

Amjad GawanmehSofiène TaharKirsten Winter
Published in: J. Syst. Archit. (2008)
Keyphrases
  • formal verification
  • model checking
  • active shape model
  • model checker
  • bounded model checking
  • automated verification
  • symbolic model checking
  • functional verification
  • program slicing
  • knowledge base
  • shape model