Search Sciweavers | Sciweavers

3457 search results - page 162 / 692

» A Symbol Is Not a Symbol

133

click to vote

TACAS
1998
Springer

95views Algorithms» more TACAS 1998»

Symbolic Exploration of transition Hierarchies

15 years 10 months ago

Download mtc.epfl.ch

Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajama...

claim paper

Read More »

click to vote

DAC
1997
ACM

89views Computer Architecture» more DAC 1997»

Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation

15 years 10 months ago

Download www.cs.york.ac.uk

Manish Pandey, Richard Raimi, Randal E. Bryant, Ma...

claim paper

Read More »

126

click to vote

CAV
1997
Springer

114views Hardware» more CAV 1997»

Partial-Order Reduction in Symbolic State Space Exploration

15 years 10 months ago

Download mtc.epfl.ch

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

claim paper

Read More »

134

click to vote

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 10 months ago

Download www.cs.cmu.edu

Christel Baier, Edmund M. Clarke, Vassili Hartonas...

claim paper

Read More »

142

click to vote

RTSS
1993
IEEE

128views Control Systems» more RTSS 1993»

Symbolic Model Checking for Event-Driven Real-Time Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers