CAV 1997 | Sciweavers

50

CAV
1997
Springer

102views Hardware» more CAV 1997»

Efficient Model Checking Using Tabled Resolution

14 years 3 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 »

29

click to vote

CAV
1997
Springer

81views Hardware» more CAV 1997»

STARI: A Case Study in Compositional and Hierarchical Timing Verification

14 years 3 months ago

Download network.ku.edu.tr

Serdar Tasiran, Robert K. Brayton

claim paper

Read More »

32

click to vote

CAV
1997
Springer

95views Hardware» more CAV 1997»

Model Checking and Transitive-Closure Logic

14 years 3 months ago

Download www.cs.umass.edu

Neil Immerman, Moshe Y. Vardi

claim paper

Read More »

37

click to vote

CAV
1997
Springer

202views Hardware» more CAV 1997»

HYTECH: A Model Checker for Hybrid Systems

14 years 3 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 »

28

click to vote

CAV
1997
Springer

103views Hardware» more CAV 1997»

Construction of Abstract State Graphs with PVS

14 years 3 months ago