Search Sciweavers | Sciweavers

2873 search results - page 163 / 575

» Model Checking and the Mu-calculus

154

click to vote

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 »

123

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 »

118

click to vote

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 »

107

Voted

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 »

128

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