Sciweavers

6608 search results - page 208 / 1322

» On the Completeness of Model Checking

132

Voted

WECWIS
2000
IEEE

113views ECommerce» more WECWIS 2000»

Failure Analysis of an E-Commerce Protocol Using Model Checking

15 years 9 months ago

Failure Analysis of an E-Commerce Protocol Using Model Checking

Download www.cs.colostate.edu

Indrakshi Ray, Indrajit Ray

claim paper

Read More »

136

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

Using predicate abstraction to reduce object-oriented programs for model checking

15 years 9 months ago

Using predicate abstraction to reduce object-oriented programs for model checking

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

123

Voted

ASM
2000
ASM

111views Computational Biology» more ASM 2000»

Model Checking Abstract State Machines and Beyond

15 years 9 months ago

Model Checking Abstract State Machines and Beyond

Download www.eecs.umich.edu

Marc Spielmann

claim paper

Read More »

141

CADE
2000
Springer

132views Logical Reasoning» more CADE 2000»

Reducing Model Checking of the Many to the Few

15 years 9 months ago

Reducing Model Checking of the Many to the Few

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

Regular Model Checking

Download www.nilsson.tv

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

claim paper

Read More »

« Prev « First page 208 / 1322 Last » Next »