Search Sciweavers | Sciweavers

9067 search results - page 169 / 1814

» Adaptive Model Checking

130

click to vote

CAV
1999
Springer

90views Hardware» more CAV 1999»

Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation

15 years 10 months ago

Download www.cs.utexas.edu

Panagiotis Manolios, Kedar S. Namjoshi, Robert Sum...

claim paper

Read More »

127

click to vote

CAV
1999
Springer

108views Hardware» more CAV 1999»

Abstract and Model Check While You Prove

15 years 10 months ago

Download www.csl.sri.com

Hassen Saïdi, Natarajan Shankar

claim paper

Read More »

123

click to vote

CHARME
1999
Springer

83views Hardware» more CHARME 1999»

Model Checking TLA+ Specifications

15 years 10 months ago

Download research.microsoft.com

Yuan Yu, Panagiotis Manolios, Leslie Lamport

claim paper

Read More »

153

click to vote

ECP
1999
Springer

141views Robotics» more ECP 1999»

Planning as Model Checking

15 years 10 months ago

Download sra.itc.it

Fausto Giunchiglia, Paolo Traverso

claim paper

Read More »

132

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers