NobleBlocks
Public

Model Checking

Published in Figshare • Jan 1, 2018
NobleIDark:/48914/w1/20260524/BE9C53E2Record on NobleID
Authors:
Clarke, Edmund M
,
O. Grumberg
,
D. Long

Abstract

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

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!