Sciweavers

4341 search results - page 204 / 869

» Quantitative Model checking

80

Voted

CAV
1999
Springer

108views Hardware» more CAV 1999»

Abstract and Model Check While You Prove

15 years 5 months ago

Abstract and Model Check While You Prove

Download www.csl.sri.com

Hassen Saïdi, Natarajan Shankar

claim paper

Read More »

67

Voted

CHARME
1999
Springer

83views Hardware» more CHARME 1999»

Model Checking TLA+ Specifications

15 years 5 months ago

Model Checking TLA+ Specifications

Download research.microsoft.com

Yuan Yu, Panagiotis Manolios, Leslie Lamport

claim paper

Read More »

104

Voted

ECP
1999
Springer

141views Robotics» more ECP 1999»

Planning as Model Checking

15 years 5 months ago

Planning as Model Checking

Download sra.itc.it

Fausto Giunchiglia, Paolo Traverso

claim paper

Read More »

81

Voted

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 5 months ago

Using Model Checking to Generate Tests from Requirements Specifications

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

99

Voted

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

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

15 years 5 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 204 / 869 Last » Next »