10870 search results - page 298 / 2174 » Model Checking Programs |
194
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
184
click to vote
PVM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...
177
click to vote
SFP
2001
15 years 8 months ago
2001
: We study type checking that is complete in the sense that it accepts every program whose subexpressions can all be executed without raising a type error at runtime. In a complete...
185
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We present a tool, called CAsCaDE, to check assertions in C programs as part of a multi-stage verification strategy. CAsCaDE takes as input a C program and a control file (the outp...
147
click to vote
EWSA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...