Search Sciweavers | Sciweavers

2875 search results - page 169 / 575

» Model checking agentspeak

160

click to vote

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

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

146

click to vote

ASM
2000
ASM

111views Computational Biology» more ASM 2000»

Model Checking Abstract State Machines and Beyond

15 years 10 months ago

Download www.eecs.umich.edu

Marc Spielmann

claim paper

Read More »

161

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 »

131

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 »

126

click to vote

CL
2000
Springer

104views Automated Reasoning» more CL 2000»

Perfect Model Checking via Unfold/Fold Transformations

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers