Search Sciweavers | Sciweavers

1895 search results - page 28 / 379

» Using ATL for Checking Models

click to vote

ICRA
2000
IEEE

83views Robotics» more ICRA 2000»

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

13 years 11 months ago

Download musliner.com

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

claim paper

Read More »

click to vote

WECWIS
2000
IEEE

113views ECommerce» more WECWIS 2000»

Failure Analysis of an E-Commerce Protocol Using Model Checking

13 years 11 months ago

Download www.cs.colostate.edu

Indrakshi Ray, Indrajit Ray

claim paper

Read More »

click to vote

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

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

13 years 11 months ago

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

13 years 11 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

click to vote

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers