Search Sciweavers | Sciweavers

4047 search results - page 205 / 810

» Algebraic Model Checking

162

Voted

CADE
2000
Springer

132views Logical Reasoning» more CADE 2000»

Reducing Model Checking of the Many to the Few

15 years 10 months ago

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

132

click to vote

CAV
2000
Springer

106views Hardware» more CAV 2000»

Regular Model Checking

15 years 10 months ago

Download www.nilsson.tv

Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Ta...

claim paper

Read More »

127

Voted

CL
2000
Springer

104views Automated Reasoning» more CL 2000»

Perfect Model Checking via Unfold/Fold Transformations

15 years 10 months ago

Download www.dsi.unive.it

Alberto Pettorossi, Maurizio Proietti

claim paper

Read More »

111

click to vote

CAV
1999
Springer

85views Hardware» more CAV 1999»

Java Bytecode Verification by Model Checking

15 years 10 months ago

Download www.vs.inf.ethz.ch

David A. Basin, Stefan Friedrich, Joachim Posegga,...

claim paper

Read More »

133

click to vote

CAV
1999
Springer

90views Hardware» more CAV 1999»

Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers