Sciweavers

3909 search results - page 173 / 782

» Extreme Model Checking

153

Voted

CAV
1999
Springer

108views Hardware» more CAV 1999»

Abstract and Model Check While You Prove

15 years 11 months ago

Abstract and Model Check While You Prove

Download www.csl.sri.com

Hassen Saïdi, Natarajan Shankar

claim paper

Read More »

140

Voted

CHARME
1999
Springer

83views Hardware» more CHARME 1999»

Model Checking TLA+ Specifications

15 years 11 months ago

Model Checking TLA+ Specifications

Download research.microsoft.com

Yuan Yu, Panagiotis Manolios, Leslie Lamport

claim paper

Read More »

173

Voted

ECP
1999
Springer

141views Robotics» more ECP 1999»

Planning as Model Checking

15 years 11 months ago

Planning as Model Checking

Download sra.itc.it

Fausto Giunchiglia, Paolo Traverso

claim paper

Read More »

153

Voted

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 11 months ago

Using Model Checking to Generate Tests from Requirements Specifications

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

176

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

15 years 11 months ago

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

« Prev « First page 173 / 782 Last » Next »