CAV 1997 | Sciweavers

31

CAV
1997
Springer

102views Hardware» more CAV 1997»

Efficient Model Checking Using Tabled Resolution

13 years 11 months ago

We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...

Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramak...

claim paper

Read More »

17

click to vote

CAV
1997
Springer

81views Hardware» more CAV 1997»

STARI: A Case Study in Compositional and Hierarchical Timing Verification

13 years 11 months ago

Download network.ku.edu.tr

Serdar Tasiran, Robert K. Brayton

claim paper

Read More »

21

click to vote

CAV
1997
Springer

95views Hardware» more CAV 1997»

Model Checking and Transitive-Closure Logic

13 years 11 months ago

Download www.cs.umass.edu

Neil Immerman, Moshe Y. Vardi

claim paper

Read More »

23

click to vote

CAV
1997
Springer

202views Hardware» more CAV 1997»

HYTECH: A Model Checker for Hybrid Systems

13 years 11 months ago

Download www.eecs.berkeley.edu

A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi

claim paper

Read More »

17

click to vote

CAV
1997
Springer

103views Hardware» more CAV 1997»

Construction of Abstract State Graphs with PVS

13 years 11 months ago