• Omnibus

  • Referenced in 3 articles [sw04600]
  • supporting tool for integrating different assertion-based verification techniques. Omnibus is a new system...
  • RelView

  • Referenced in 102 articles [sw00798]
  • The RelView-System is an interactive tool for...
  • FoCs

  • Referenced in 20 articles [sw01591]
  • FoCs -- automatic generation of simulation checkers from formal...
  • Prover9

  • Referenced in 198 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem...
  • Mace4

  • Referenced in 227 articles [sw06905]
  • finite model-finder Mace4. Mace4 is a program...
  • BerkMin

  • Referenced in 161 articles [sw06917]
  • BerkMin: A fast and robust SAT-solver. We...
  • LTL2BA

  • Referenced in 100 articles [sw10956]
  • Fast LTL to Büchi automata translation. We present...