Mosel 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 all top 5 Cited by 6 Authors 1 Abdulla, Parosh Aziz 1 Ayari, Abdelwaheb 1 Basin, David A. 1 Klarlund, Nils 1 Podelski, Andreas 1 Talupur, Muralidhar Cited in 2 Serials 1 Theoretical Computer Science 1 Higher-Order and Symbolic Computation Cited in 2 Fields 4 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year