Search Sciweavers | Sciweavers

12981 search results - page 229 / 2597

» Model Checking (Abstract)

158

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 »

134

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

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

132

click to vote

ICSE
1999
IEEE-ACM

96views Software Engineering» more ICSE 1999»

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts

15 years 10 months ago

Download www.cs.washington.edu

William Chan, Richard J. Anderson, Paul Beame, Dav...

claim paper

Read More »

148

click to vote

SAS
1999
Springer

113views Formal Methods» more SAS 1999»

Model-Checking: A Tutorial Introduction

15 years 10 months ago

Download fmt.isti.cnr.it

Markus Müller-Olm, David A. Schmidt, Bernhard...

claim paper

Read More »

138

click to vote

SPIN
1999
Springer

95views Theoretical Computer Science» more SPIN 1999»

Analyzing Mode Confusion via Model Checking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers