swMATH ID: 30493
Software Authors: P. Kelb, T. Margaria, M. Mendler, C. Gsottberger
Description: Mosel: A flexible toolset for monadic second-order logic. Mosel is a new tool-set for the analysis and verification in Monadic Second-order Logic. In this paper we concentrate on the system’s design: Mosel is a tool-set to include a flexible 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 logics and tools. The main distinguishing features of Mosel are its layered approach to the logic, based on a formal semantics for a minimal subset, its modular design, and its integration in a heterogeneous analysis and verification environment.
Homepage: https://rd.springer.com/chapter/10.1007/BFb0035388
Related Software: MONA; EMBOSS; ATV; BioMOBY; Bio-SPICE; ClustalW; Taverna; Ptolemy; jETI; LISA; STeP
Cited in: 4 Documents

Citations by Year