Date: 14 Jun 2005

Minimal model generation

* Final gross prices may vary according to local VAT.

Get Access

Abstract

This paper adresses the problem of generating a minimal state graph from a program, without building first the whole state graph. The minimality is considered here with respect to bisimulation. A generation algorithm is presented and illustrated.

This work was partially supported by ESPRIT Basic Research Action “SPEC”