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

15 years 6 months ago

Download musliner.com

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

claim paper

Read More »

102

Voted

WECWIS
2000
IEEE

113views ECommerce» more WECWIS 2000»

Failure Analysis of an E-Commerce Protocol Using Model Checking

15 years 6 months ago

Download www.cs.colostate.edu

Indrakshi Ray, Indrajit Ray

claim paper

Read More »

108

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

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

Voted

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 6 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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers