• LISA

  • Referenced in 1 article [sw30492]
  • defined datatypes (WS2S is the weak second-order monadic logic of two successors). Our integration...
  • libVATA

  • Referenced in 1 article [sw33005]
  • such as the monadic second-order logic (MSO) or the weak second-order theory...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • SINGULAR

  • Referenced in 1504 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • Haskell

  • Referenced in 879 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • CPLEX

  • Referenced in 2766 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • JML

  • Referenced in 189 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...
  • z3

  • Referenced in 590 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • MONA

  • Referenced in 133 articles [sw06170]
  • MONA implementation secrets. The MONA tool provides an...
  • Timbuk

  • Referenced in 47 articles [sw06351]
  • Timbuk is a collection of tools for achieving...
  • XQuery

  • Referenced in 124 articles [sw06669]
  • XML is a versatile markup language, capable of...
  • Nuprl

  • Referenced in 394 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • TVLA

  • Referenced in 34 articles [sw09878]
  • TVLA: A System for Implementing Static Analyses. We...
  • LTL2BA

  • Referenced in 100 articles [sw10956]
  • Fast LTL to Büchi automata translation. We present...
  • Python

  • Referenced in 2042 articles [sw14460]
  • Python is a widely used high-level, general...
  • STeP

  • Referenced in 36 articles [sw17948]
  • The Stanford Temporal Prover, STeP, is being developed...
  • Datalog

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