CONPASU-tool  (CONcurrent Process Analysis SUpport tool)

This page is still under construction.

CONPASU-tool is a fully automatic analysis tool for concurrent processes based on symbolic computation.

1. News
2. Introduction

CONPASU is an implementation of analysis-tool for concurrent processes with value-passing which may cause infinite-state systems. The method consists of two steps: sequentialization and state-reduction. In the sequentialization, the symbolic transition graph of a given concurrent process is derived by symbolic operational semantics. In the state-reduction, the number of states in the symbolic transition graph is reduced by removing needless internal transitions.  For example, CONPASU can extract abstract behaviors, which are useful for understanding complex behaviors, by focusing on some interesting events.

3. Download

4. Example
5. Publication

6. Link

7. Contact

Yoshinao Isobe
Information Technology Research Institute
National Institute of Advanced Industrial Science and Technology (AIST)
Tsukuba Central 2, 1-1-1, Umezono, Tsukuba, Ibaraki, 305-8568, Japan

Last modified: 12 October 2012