1376 search results - page 216 / 276 » Model-Driven Software Verification |
154
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
113
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
99
Voted
SPLC
2008
15 years 5 months ago
2008
NASA is, with the rest of industry, turning to product-line engineering to reduce costs and improve quality by effectively managing reuse. Experience in industry has shown that it...
136
Voted
SFP
2004
15 years 4 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
143
Voted
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...