Login / Signup

Tarmo: A Framework for Parallelized Bounded Model Checking

Siert WieringaMatti NiemenmaaKeijo Heljanko
Published in: PDMC (2009)
Keyphrases
  • bounded model checking
  • database
  • conceptual framework
  • dynamic programming
  • main contribution
  • orders of magnitude