
Mosel
 Referenced in 5 articles
[sw30493]
 Mosel: A flexible toolset for monadic secondorder logic. Mosel is a new tool ... analysis and verification in Monadic Secondorder Logic. In this paper we concentrate...

MSO_Regex_Equivalence
 Referenced in 7 articles
[sw32230]
 Derivatives of Regular Expressions. Monadic secondorder logic on finite words (MSO) is a decidable...

libVATA
 Referenced in 1 article
[sw33005]
 several logics, such as the monadic secondorder logic (MSO) or the weak secondorder...

LISA
 Referenced in 1 article
[sw30492]
 datatypes (WS2S is the weak secondorder 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 generalpurpose functional...

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

Autowrite
 Referenced in 8 articles
[sw01282]
 Autowrite: A tool for checking properties of term...

EMSO
 Referenced in 2 articles
[sw02693]
 EMSOdefinability of some languages with event structures...

COMET
 Referenced in 71 articles
[sw03051]
 ConstraintBased Local Search. The ubiquity of combinatorial...

Haskell
 Referenced in 844 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

Eiffel
 Referenced in 290 articles
[sw03522]
 Eiffel is an ISOstandardized, objectoriented 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...

WSAT(OIP)
 Referenced in 25 articles
[sw04787]
 WSAT(OIP) is a domainindependent local search...

z3
 Referenced in 496 articles
[sw04887]
 Z3 is a highperformance 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...