• TSPASS

  • Referenced in 8 articles [sw06567]
  • TSPASS system (i.e. the prover itself and the translation tool) was developed by Michael Ludwig...
  • Rabbit

  • Referenced in 24 articles [sw01317]
  • Rabbit: A tool for BDD-based verification of...
  • VAMPIRE

  • Referenced in 258 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • SLAM

  • Referenced in 153 articles [sw03136]
  • SLAM is a project for checking that software...
  • METATEM

  • Referenced in 55 articles [sw06568]
  • MetateM: An introduction. A methodology for the use...
  • TeMP

  • Referenced in 13 articles [sw09989]
  • TeMP: A temporal monodic prover. First-Order Temporal...