×

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.

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)

Citations:

Zbl 0753.00020
PDFBibTeX XMLCite