Search Sciweavers | Sciweavers

10870 search results - page 258 / 2174

» Model Checking Programs

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

Download www.cs.colostate.edu

Indrakshi Ray, Indrajit Ray

claim paper

Read More »

148

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 »

164

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 »

135

click to vote

CAV
2000
Springer

106views Hardware» more CAV 2000»

Regular Model Checking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers