Results 1 to 20 of 53
Sort by:

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