MOSEL: A FLexible Toolset for Monadic Second-Order Logic

Abstract

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

Topics

Statistics

051015'98'00'02'04'06'08'10'12'14'16'18
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