Search Sciweavers | Sciweavers

4447 search results - page 199 / 890

» Model Checking Games

149

click to vote

TACAS
2001
Springer

111views Algorithms» more TACAS 2001»

Linear Parametric Model Checking of Timed Automata

15 years 11 months ago

Download www.brics.dk

Thomas Hune, Judi Romijn, Mariëlle Stoelinga,...

claim paper

Read More »

151

click to vote

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

15 years 11 months ago

Download www.fmi.uni-stuttgart.de

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

claim paper

Read More »

124

click to vote

DATE
2000
IEEE

76views Hardware» more DATE 2000»

Iterative Abstraction-Based CTL Model Checking

15 years 11 months ago

Download www.date-conference.com

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

claim paper

Read More »

105

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 11 months ago

Download musliner.com

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

claim paper

Read More »

156

click to vote

WECWIS
2000
IEEE

113views ECommerce» more WECWIS 2000»

Failure Analysis of an E-Commerce Protocol Using Model Checking

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers