AlPiNA: A Symbolic Model Checker

DOI10.1007/978-3-642-13675-7_17zbMATH Open1233.68155OpenAlexW1588089883MaRDI QIDQ3569873FDOQ3569873

Authors: Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi 

Publication date: 22 June 2010

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://archive-ouverte.unige.ch/unige:10786

Recommendations

• High-level Petri net model checking with AlPiNA
• scientific article; zbMATH DE number 2086974
• scientific article; zbMATH DE number 5181785
• Generating model checkers from algebraic specifications
• Symbolic model checking with rich assertional languages
• On an equivalence checking technique for algebraic models of programs
• scientific article; zbMATH DE number 1507203

zbMATH Keywords

model checkingsystem designsystem verificationstate-space generationalgebraic Petri netscomputer tools for netshigher-level nets models

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• A formal framework for dependability and resilience from a software engineering perspective
• High-level Petri net model checking with AlPiNA

Uses Software

• AlPiNA

This page was built for publication: AlPiNA: A Symbolic Model Checker

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3569873)