Authors
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs
Publication date
1991
Conference
Computer-Aided Verification: 2nd International Conference, CAV'90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings 2
Pages
197-203
Publisher
Springer Berlin Heidelberg
Description
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.
Total citations
199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202461311710976898811781185547533313351413
Scholar articles
A Bouajjani, JC Fernandez, N Halbwachs - … -Aided Verification: 2nd International Conference, CAV' …, 1991