Sciweavers

Share
APN
2010
Springer

AlPiNA: A Symbolic Model Checker

12 years 2 months ago
AlPiNA: A Symbolic Model Checker
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNA’s objective is to perform efficient and user-friendly, easy to use model checking of large software systems. This is achieved by separating the model and its properties from the model checking-related concerns: the users can describe and perform checks on a high-level model without having to master lowlevel techniques. This article describes the features that AlPiNA provides to the user for specifying models and properties to validate, followed by the techniques that it implements for tuning validation performance.
Didier Buchs, Steve Hostettler, Alexis Marechal, M
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2010
Where APN
Authors Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
Comments (0)
books