Search Sciweavers | Sciweavers

862 search results - page 3 / 173

» Model Checking Interrupt-Dependent Software

click to vote

SIGSOFT
1996
ACM

107views Software Engineering» more SIGSOFT 1996»

Model Checking Large Software Specifications

13 years 11 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

EMSOFT
2008
Springer

173views Software Engineering» more EMSOFT 2008»

Active property checking

13 years 9 months ago

Download research.microsoft.com

Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...

Patrice Godefroid, Michael Y. Levin, David A. Moln...

claim paper

Read More »

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

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

13 years 12 months ago