AlPiNA: A Symbolic Model Checker

DOI10.1007/978-3-642-13675-7_17zbMath1233.68155OpenAlexW1588089883MaRDI QIDQ3569873

Didier Buchs, Alexis Marechal, Matteo Risoldi, Steve Hostettler

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

zbMATH Keywords

model checkingsystem designalgebraic Petri netssystem verificationstate-space generationcomputer tools for netshigher-level nets models

Mathematics Subject Classification ID

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

Related Items (1)

A formal framework for dependability and resilience from a software engineering perspective

Uses Software

• AlPiNA

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