III. Reduction In Finite State Systems

Computer-Aided Verification

Volume 531 of the series Lecture Notes in Computer Science pp 197-203


Minimal model generation

  • A. BouajjaniAffiliated withIMAG/LGI (U.A. CNRS 398)
  • , J-C. FernandezAffiliated withIMAG/LGI (U.A. CNRS 398)
  • , N. HalbwachsAffiliated withIMAG/LGI (U.A. CNRS 398)

* Final gross prices may vary according to local VAT.

Get Access


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.