Date of Original Version
Abstract or Description
Model checking is an automatic technique for verifying finite-state reactive systems, such as sequential circuit designs and communication protocols.
Proceedings: International Summer School on Deductive Program Design, 1994. Springer-Verlag Nato Asi, Series F, Vol. 152, 1996, 152.