Search Sciweavers | Sciweavers

449 search results - page 1 / 90

» Model Checking Large Software Specifications

click to vote

SIGSOFT
1996
ACM

107views Software Engineering» more SIGSOFT 1996»

Model Checking Large Software Specifications

13 years 9 months ago

Download www.cs.washington.edu

In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...

Richard J. Anderson, Paul Beame, Steve Burns, Will...

claim paper

Read More »

click to vote

NSDI
2004

121views Computer Networks» more NSDI 2004»

Model Checking Large Network Protocol Implementations

13 years 6 months ago

Download www.stanford.edu

Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....

Madanlal Musuvathi, Dawson R. Engler

claim paper

Read More »

click to vote

CONCUR
2008
Springer

159views Distributed And Parallel Com...» more CONCUR 2008»

Completeness and Nondeterminism in Model Checking Transactional Memories

13 years 7 months ago

Download mtc.epfl.ch

Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...

Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh

claim paper

Read More »

click to vote

EUROMICRO
2009
IEEE

164views Software Engineering» more EUROMICRO 2009»

Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models

14 years 6 days ago