Skip to Main content Skip to Navigation
Conference papers

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems

Abstract : Over the past two decades, numerous verification tools have been successfully used for verifying complex concurrent systems, modelled using various formalisms. However, it is still hard to coordinate these tools since they rely on such a large number of formalisms. Having a proper syntactical mechanism to interrelate them through variability would increase the capability of effective integrated formal methods. In this paper, we propose a modular approach for defining new formalisms by reusing existing ones and adding new features and/or constraints. Our approach relies on standard XML technologies; their use provides the capability of rapidly and automatically obtaining tools for representing and validating models. It thus enables fast iterations in developing and testing complex formalisms. As a case study, we applied our modular definition approach on families of Petri nets and timed automata.
Document type :
Conference papers
Complete list of metadata
Contributor : Benedikt Bollig Connect in order to contact the contributor
Submitted on : Thursday, January 9, 2014 - 10:30:13 AM
Last modification on : Tuesday, November 16, 2021 - 5:02:40 AM

Links full text



Étienne André, Benoît Barbot, Clément Démoulins, Lom Messan Hillah, Francis Hulin-Hubard, et al.. A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. 15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. pp.199-214, ⟨10.1007/978-3-642-41202-8_14⟩. ⟨hal-00926126⟩



Les métriques sont temporairement indisponibles