Sciweavers

5216 search results - page 186 / 1044

» Planning as Model Checking

155

WECWIS
2000
IEEE

113views ECommerce» more WECWIS 2000»

Failure Analysis of an E-Commerce Protocol Using Model Checking

15 years 10 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 »

162

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

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

15 years 10 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 »

147

ASM
2000
ASM

111views Computational Biology» more ASM 2000»

Model Checking Abstract State Machines and Beyond

15 years 10 months ago

Model Checking Abstract State Machines and Beyond

Download www.eecs.umich.edu

Marc Spielmann

claim paper

Read More »

162

CADE
2000
Springer

132views Logical Reasoning» more CADE 2000»

Reducing Model Checking of the Many to the Few

15 years 10 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 »

132

CAV
2000
Springer

106views Hardware» more CAV 2000»

Regular Model Checking

15 years 10 months ago

Regular Model Checking

Download www.nilsson.tv

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

claim paper

Read More »

« Prev « First page 186 / 1044 Last » Next »