862 search results - page 64 / 173 » Model Checking Interrupt-Dependent Software |
134
click to vote
ADAEUROPE
2008
Springer
15 years 7 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
147
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
133
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
143
click to vote
FATES
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
152
click to vote
ICRE
2000
IEEE
15 years 8 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...