Bouajjani, A.; Fernandez, J.-C.; Halbwachs, N. Minimal model generation. (English) Zbl 0786.68056 Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 85-91 (1991). Summary: [For the entire collection see Zbl 0753.00020.]We adress 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. Cited in 1 Document MSC: 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:minimal state graph; bisimulation Citations:Zbl 0753.00020 PDFBibTeX XMLCite \textit{A. Bouajjani} et al., in: Computer-aided verification '90. Proceedings of a 2nd DIMACS workshop, June 18-21, 1990, Rutgers Univ., New Brunswick, NJ, USA. Providence, RI: American Mathematical Society; New York, NY: Association for Computing Machinery. 85--91 (1991; Zbl 0786.68056)