Results 1 to 6 of 6
Sort by:

  • 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...