• CCalc

  • Referenced in 79 articles [sw09899]
  • The Causal Calculator (CCalc) is a system for...
  • 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...
  • Easychair

  • Referenced in 45 articles [sw13265]
  • EasyChair is a conference management system that is...
  • ASPMT2SMT

  • Referenced in 5 articles [sw13280]
  • System ASPMT2SMT: computing ASPMT theories by SMT solvers...
  • CoqMTU

  • Referenced in 3 articles [sw19138]
  • CoqMTU: A higher-order type theory with a...
  • CoqMT

  • Referenced in 6 articles [sw19139]
  • Coq Modulo Theory. Coq Modulo Theory (CoqMT) is...
  • Datalog

  • Referenced in 293 articles [sw20023]
  • Datalog is a declarative logic programming language that...
  • Lucid

  • Referenced in 39 articles [sw21485]
  • Lucid, the dataflow programming language. Lucid is a...
  • Eff

  • Referenced in 21 articles [sw22721]
  • Eff is a functional programming language based on...
  • SETL

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