• TPTP

  • Referenced in 395 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • Gringo

  • Referenced in 108 articles [sw04630]
  • This document provides an introduction to the Answer...
  • MiniZinc

  • Referenced in 85 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language...
  • ProB

  • Referenced in 67 articles [sw07084]
  • ProB: an automated analysis toolset for the B...
  • Z/EVES

  • Referenced in 44 articles [sw10262]
  • Z/EVES Eclipse prover IDE. Community Z Tools provide...
  • Z

  • Referenced in 286 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...
  • BWare

  • Referenced in 6 articles [sw10405]
  • The BWare project is an industrial research project...
  • JSetL

  • Referenced in 7 articles [sw29267]
  • JSetL is a Java library that has been...
  • SETL

  • Referenced in 26 articles [sw36325]
  • Programming with sets. An introduction to SETL. of...