Date of Original Version

1994

Type

Book Chapter

Abstract or Description

Model checking is an automatic technique for verifying finite-state reactive systems, such as sequential circuit designs and communication protocols.

Share

COinS
 

Published In

Proceedings: International Summer School on Deductive Program Design, 1994. Springer-Verlag Nato Asi, Series F, Vol. 152, 1996, 152.