Sciweavers

8 search results - page 1 / 2

» cav 1997

66

CAV
1997
Springer

97views Hardware» more CAV 1997»

Weak Bisimulation for Fully Probabilistic Processes

15 years 2 months ago

Weak Bisimulation for Fully Probabilistic Processes

Download www.inf.tu-dresden.de

Christel Baier, Holger Hermanns

claim paper

Read More »

63

Voted

CAV
1997
Springer

103views Hardware» more CAV 1997»

Construction of Abstract State Graphs with PVS

15 years 2 months ago

Construction of Abstract State Graphs with PVS

Download www.cs.ucla.edu

Susanne Graf, Hassen Saïdi

claim paper

Read More »

67

Voted

CAV
1997
Springer

95views Hardware» more CAV 1997»

Model Checking and Transitive-Closure Logic

15 years 2 months ago

Model Checking and Transitive-Closure Logic

Download www.cs.umass.edu

Neil Immerman, Moshe Y. Vardi

claim paper

Read More »

68

Voted

CAV
1997
Springer

81views Hardware» more CAV 1997»

STARI: A Case Study in Compositional and Hierarchical Timing Verification

15 years 2 months ago

STARI: A Case Study in Compositional and Hierarchical Timing Verification

Download network.ku.edu.tr

Serdar Tasiran, Robert K. Brayton

claim paper

Read More »

62

CAV
1997
Springer

114views Hardware» more CAV 1997»

Partial-Order Reduction in Symbolic State Space Exploration

15 years 2 months ago

Partial-Order Reduction in Symbolic State Space Exploration

Download mtc.epfl.ch

Rajeev Alur, Robert K. Brayton, Thomas A. Henzinge...

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »