Results 1 to 9 of 9
Sort by:

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