Login / Signup

Formal Verification of ASM Designs Using the MDG Tool.

Amjad GawanmehSofiène TaharKirsten Winter
Published in: SEFM (2003)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • bounded model checking
  • automated verification
  • symbolic model checking
  • temporal logic
  • domain specific
  • design tools