MOSEL: A FLexible Toolset for Monadic Second-Order Logic


Mosel is a new tool-set for the analysis and veri cation in Monadic Second-order Logic. In this paper we concentrate on the system's design: Mosel is a tool-set to include a exible set of decision procedures for several theories of the logic complemented by a variety of support components for input format translations, visualization, and interfaces to other… (More)
DOI: 10.1007/BFb0035388

6 Figures and Tables



Citations per Year

fewer than 50 Citations

Semantic Scholar estimates that this publication has 50 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics