Search Sciweavers | Sciweavers

12981 search results - page 229 / 2597

» Model Checking (Abstract)

120

click to vote

ECP
1999
Springer

141views Robotics» more ECP 1999»

Planning as Model Checking

15 years 7 months ago

Download sra.itc.it

Fausto Giunchiglia, Paolo Traverso

claim paper

Read More »

104

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 7 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

100

Voted

ICSE
1999
IEEE-ACM

96views Software Engineering» more ICSE 1999»

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

15 years 7 months ago

Download www.cs.washington.edu

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

claim paper

Read More »

109

click to vote

SAS
1999
Springer

113views Formal Methods» more SAS 1999»

Model-Checking: A Tutorial Introduction

15 years 7 months ago

Download fmt.isti.cnr.it

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

claim paper

Read More »

101

click to vote

SPIN
1999
Springer

95views Theoretical Computer Science» more SPIN 1999»

Analyzing Mode Confusion via Model Checking

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers