Predictive Reachability Using a Sample-Based Approach

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/11560548_38 ◽

2005 ◽

pp. 388-392 ◽

Author(s):

Debashis Sahoo ◽

Jawahar Jain ◽

Subramanian K. Iyer ◽

David Dill ◽

E. Allen Emerson

Download Full-text