Sciweavers

3147 search results - page 193 / 630

» Open-Source Model Checking

97

CAV
2000
Springer

106views Hardware» more CAV 2000»

Regular Model Checking

15 years 7 months ago

Regular Model Checking

Download www.nilsson.tv

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

claim paper

Read More »

90

CL
2000
Springer

104views Automated Reasoning» more CL 2000»

Perfect Model Checking via Unfold/Fold Transformations

15 years 7 months ago

Perfect Model Checking via Unfold/Fold Transformations

Download www.dsi.unive.it

Alberto Pettorossi, Maurizio Proietti

claim paper

Read More »

77

CAV
1999
Springer

85views Hardware» more CAV 1999»

Java Bytecode Verification by Model Checking

15 years 7 months ago

Java Bytecode Verification by Model Checking

Download www.vs.inf.ethz.ch

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

claim paper

Read More »

101

CAV
1999
Springer

90views Hardware» more CAV 1999»

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

15 years 7 months ago

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

Download www.cs.utexas.edu

Panagiotis Manolios, Kedar S. Namjoshi, Robert Sum...

claim paper

Read More »

97

CAV
1999
Springer

108views Hardware» more CAV 1999»

Abstract and Model Check While You Prove

15 years 7 months ago

Abstract and Model Check While You Prove

Download www.csl.sri.com

Hassen Saïdi, Natarajan Shankar

claim paper

Read More »

« Prev « First page 193 / 630 Last » Next »