Search Sciweavers | Sciweavers

9067 search results - page 167 / 1814

» Adaptive Model Checking

151

click to vote

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

15 years 10 months ago

Download www.fmi.uni-stuttgart.de

Javier Esparza, Antonín Kucera, Stefan Schw...

claim paper

Read More »

123

click to vote

DATE
2000
IEEE

76views Hardware» more DATE 2000»

Iterative Abstraction-Based CTL Model Checking

15 years 10 months ago

Download www.date-conference.com

Jae-Young Jang, In-Ho Moon, Gary D. Hachtel

claim paper

Read More »

103

click to vote

ICRA
2000
IEEE

83views Robotics» more ICRA 2000»

Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers

15 years 10 months ago

Download musliner.com

David J. Musliner, Robert P. Goldman, Michael J. S...

claim paper

Read More »

155

click to vote

WECWIS
2000
IEEE

113views ECommerce» more WECWIS 2000»

Failure Analysis of an E-Commerce Protocol Using Model Checking

15 years 10 months ago

Download www.cs.colostate.edu

Indrakshi Ray, Indrajit Ray

claim paper

Read More »

162

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers