Minimal state graph generation
- Bouajjani, A.
- Fernandez, J.-C.
- Halbwachs, N.
- Raymond, P.
- Ratel, C.
Publication date
June 1992
DOI Publisher
Published by Elsevier B.V. ISSN
0167-6423 Citation count (estimate)
80Abstract
AbstractWe address the problem of generating a minimal state graph from a program, without building the whole state graph. Minimality is considered here with respect to bisimulation. A generation algorithm is derived and illustrated. Applications concern program verification and control synthesis in reactive program compilation
Add to ORKG