• Mosel

  • Referenced in 5 articles [sw30493]
  • Mosel: A flexible toolset for monadic second-order logic. Mosel is a new tool ... analysis and verification in Monadic Second-order Logic. In this paper we concentrate...
  • MSO_Regex_Equivalence

  • Referenced in 7 articles [sw32230]
  • Derivatives of Regular Expressions. Monadic second-order logic on finite words (MSO) is a decidable...
  • libVATA

  • Referenced in 1 article [sw33005]
  • several logics, such as the monadic second-order logic (MSO) or the weak second-order...
  • LISA

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

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

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

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

  • Referenced in 514 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • EMSO

  • Referenced in 2 articles [sw02693]
  • EMSO-definability of some languages with event structures...
  • COMET

  • Referenced in 71 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial...
  • Haskell

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

  • Referenced in 290 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • CPLEX

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

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

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

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

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