jMosel: a stand-alone tool and jABC plugin for M2L(str)

Authors:
Christian Topnik;Eva Wilhelm;Tiziana Margaria;Bernhard Steffen
Affiliations:
Universität Dortmund, FB Informatik, Germany;Universität Dortmund, FB Informatik, Germany;Service Engineering for Distributed Systems, Universität Göttingen, Germany;Universität Dortmund, FB Informatik, Germany
Venue:
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Year:
2006

Citing 4
Cited 5

Fully Automatic Verifcation and Error Detection for Parameterized Iterative Sequential Circuits

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Hardware Verification using Monadic Second-Order Logic

Proceedings of the 7th International Conference on Computer Aided Verification
Remote Integration and Coordination of Verification Tools in JETI

ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
FormulaBuilder: a tool for graph-based modelling and generation of formulae

Proceedings of the 28th international conference on Software engineering

FormulaBuilder: a tool for graph-based modelling and generation of formulae

Proceedings of the 28th international conference on Software engineering
The Fmics View On The Verified Software Repository

Journal of Integrated Design & Process Science - Applications of formal methods
Synthesizing Semantic Web Service Compositions with jMosel and Golog

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Model-driven development with the jABC

HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Regular model checking without transducers (on efficient verification of parameterized systems)

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

jMosel is a tool-set for the analysis and verification of linear parametric systems in monadic second-order logic on strings. In this paper we give a short introduction to the underlying concepts, as well as an overview of the implementation and the usage of jMosel.