Search Sciweavers | Sciweavers

9067 search results - page 168 / 1814

» Adaptive Model Checking

126

Voted

ASM
2000
ASM

111views Computational Biology» more ASM 2000»

Model Checking Abstract State Machines and Beyond

15 years 9 months ago

Download www.eecs.umich.edu

Marc Spielmann

claim paper

Read More »

142

click to vote

CADE
2000
Springer

132views Logical Reasoning» more CADE 2000»

Reducing Model Checking of the Many to the Few

15 years 9 months ago

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

114

Voted

CAV
2000
Springer

106views Hardware» more CAV 2000»

Regular Model Checking

15 years 9 months ago

Download www.nilsson.tv

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

claim paper

Read More »

112

Voted

CL
2000
Springer

104views Automated Reasoning» more CL 2000»

Perfect Model Checking via Unfold/Fold Transformations

15 years 9 months ago

Download www.dsi.unive.it

Alberto Pettorossi, Maurizio Proietti

claim paper

Read More »

Voted

CAV
1999
Springer

85views Hardware» more CAV 1999»

Java Bytecode Verification by Model Checking

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers