ASAP: An Extensible Platform for State Space Analysis

13 years 11 months ago

Download www.daimi.au.dk

The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide range of state space reduction techniques and is intended to be easy to extend and to use, making it a suitable tool for students, researchers, and industrial users that would like to analyze protocols and/or experiment with diﬀerent algorithms. This paper presents ASAP from these two perspectives.

Michael Westergaard, Sami Evangelista, Lars Michae

Real-time Traffic

APN 2009 | Artificial Intelligence | ASCoVeCo State Space | Explicit State Space | State Space Analysis |

claim paper

» Dynamic State Space Partitioning for External Memory Model Checking

» Formal Analysis of Protocols Based on TPM State Registers

» Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large S...

» A Platform for the Description Distribution and Analysis of Genetic Polymorphism Data

» Static analysis for fast and accurate design space exploration of caches

» HMTT a platform independent fullsystem memory trace monitoring system

» ModelDriven Architecture for Hard RealTime Systems From Platform Independent Models to Cod...

» Athena A New Efficient Automatic Checker for Security Protocol Analysis

Post Info
More Details (n/a)

Added	25 May 2010
Updated	25 May 2010
Type	Conference
Year	2009
Where	APN
Authors	Michael Westergaard, Sami Evangelista, Lars Michael Kristensen

Comments (0)

Sciweavers

ASAP: An Extensible Platform for State Space Analysis

APN 2009 | Artificial Intelligence | ASCoVeCo State Space | Explicit State Space | State Space Analysis |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers