6608 search results - page 238 / 1322 » On the Completeness of Model Checking |
191
click to vote
SPIN
2012
Springer
13 years 8 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
162
click to vote
APLAS
2008
ACM
15 years 7 months ago
2008
ACM
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
175
click to vote
HPCA
2006
IEEE
16 years 6 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
190
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...