Results 1 -
8 of
8
Report on the model checking contest at Petri Nets 2011
- LNCS ToPNoC
"... Abstract. This article presents the results of the Model Checking Contest held within the SUMo 2011 workshop, a satellite event of Petri Nets 2011. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. The participating tools ..."
Abstract
-
Cited by 7 (4 self)
- Add to MetaCart
(Show Context)
Abstract. This article presents the results of the Model Checking Contest held within the SUMo 2011 workshop, a satellite event of Petri Nets 2011. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. The participating tools were compared on several examinations (state space generation, deadlock detection and evaluation of reachability formulæ) run on a set of common models (Place/Transition and Symmetric Petri nets). The collected data gave some hints about the way techniques can scale up depending on both examinations and the characteristics of the models. This paper also presents the lessons learned from the organizer’s point of view. It discusses the enhancements required for future editions of the Model Checking Contest event at the Petri Nets conference.
Proceedings of CompoNet and SUMo 2011 When Graffiti Brings Order ⋆
"... Abstract. Most researchers use Petri nets as a formal notation with mathematically defined semantics. Their graphical part is usually only seen as a notation, that does not carry semantics. Contrary to this tradition, we show in this article that, when created by a human, there is inherent semantics ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. Most researchers use Petri nets as a formal notation with mathematically defined semantics. Their graphical part is usually only seen as a notation, that does not carry semantics. Contrary to this tradition, we show in this article that, when created by a human, there is inherent semantics in the positions of places, transitions and arcs. We propose to use the full definition of Petri nets: whereas they have been deteriorated to their mathematically defined part only, their graphical information should be considered in their definition. 1
event: second international workshop on Scalable and Usable Model Checking
, 2011
"... This volume contains the papers presented at the joint SUMo/CompoNet 2011 ..."
Abstract
- Add to MetaCart
This volume contains the papers presented at the joint SUMo/CompoNet 2011
FML: Formalism Markup Language
, 2014
"... Many tools for distributed systems verification Relying on different formalisms Solving different problems Applying formal methods to dedicated cases studies Running on different OS Requiring some difficult installation procedures Technological transfer to industry uneasy Étienne André (Paris 13) Th ..."
Abstract
- Add to MetaCart
(Show Context)
Many tools for distributed systems verification Relying on different formalisms Solving different problems Applying formal methods to dedicated cases studies Running on different OS Requiring some difficult installation procedures Technological transfer to industry uneasy Étienne André (Paris 13) The CosyVerif Platform 11th December 2014 2 / 32
IOP: Intégration d’Outils à la Plate-forme CosyVerif
"... CosyVerif aims at gathering within a common framework various existing tools for specification and verification. It has been designed in order to 1) support different formalisms with the ability to easily create new ones, 2) provide a graphical user interface for every formalism, 3) include verifica ..."
Abstract
- Add to MetaCart
(Show Context)
CosyVerif aims at gathering within a common framework various existing tools for specification and verification. It has been designed in order to 1) support different formalisms with the ability to easily create new ones, 2) provide a graphical user interface for every formalism, 3) include verification tools called via the graphical interface or via an API as a Web service, and 4) offer the possibility for a developer to integrate his/her own tool without much effort, also allowing it to interact with the other tools. We present here a project that aims at integrating more tools into the CosyVerif platform. 1
Outline
, 2013
"... Application of formal methods to dedicated cases studies Towards technological transfer to industry Tools organised around formalisms Academics 6 = Developers Need to share effort (platform, interfaces, distribution mechanisms) Need to share definitions (typically formalisms) Coordinated effort to b ..."
Abstract
- Add to MetaCart
(Show Context)
Application of formal methods to dedicated cases studies Towards technological transfer to industry Tools organised around formalisms Academics 6 = Developers Need to share effort (platform, interfaces, distribution mechanisms) Need to share definitions (typically formalisms) Coordinated effort to better handle a complex context of interrelated formal notations I
Summary and Evolutions
, 2013
"... Many tools for distributed systems verification Relying on different formalisms Solving different problems Running on different OS Requiring some difficult installation procedures Needs for: A unified representation Interoperability and tool integration ..."
Abstract
- Add to MetaCart
(Show Context)
Many tools for distributed systems verification Relying on different formalisms Solving different problems Running on different OS Requiring some difficult installation procedures Needs for: A unified representation Interoperability and tool integration
