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

15 years 3 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 »

126

click to vote

EMSOFT
2008
Springer

173views Software Engineering» more EMSOFT 2008»

Active property checking

15 years 1 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)

15 years 3 months ago