950 search results - page 90 / 190 » Software model checking with SPIN |
FATES
2005
Springer
14 years 2 months ago
2005
Springer
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
WOSP
2005
ACM
14 years 2 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
FASE
2005
Springer
14 years 2 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
SE
2007
13 years 10 months ago
2007
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
PLDI
2005
ACM
14 years 2 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...