Sciweavers

2873 search results - page 164 / 575

» Model Checking and the Mu-calculus

124

CAV
1999
Springer

108views Hardware» more CAV 1999»

Abstract and Model Check While You Prove

15 years 10 months ago

Abstract and Model Check While You Prove

Download www.csl.sri.com

Hassen Saïdi, Natarajan Shankar

claim paper

Read More »

117

CHARME
1999
Springer

83views Hardware» more CHARME 1999»

Model Checking TLA+ Specifications

15 years 10 months ago

Model Checking TLA+ Specifications

Download research.microsoft.com

Yuan Yu, Panagiotis Manolios, Leslie Lamport

claim paper

Read More »

147

ECP
1999
Springer

141views Robotics» more ECP 1999»

Planning as Model Checking

15 years 10 months ago

Planning as Model Checking

Download sra.itc.it

Fausto Giunchiglia, Paolo Traverso

claim paper

Read More »

127

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 10 months ago

Using Model Checking to Generate Tests from Requirements Specifications

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

152

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

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

15 years 10 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 164 / 575 Last » Next »