4340 search results - page 395 / 868 » Formal Methods and Cryptography |
202
click to vote
FMCAD
2004
Springer
16 years 1 months ago
2004
Springer
We present a new and very simple translation of the bounded model checking problem which is linear both in the size of the formula and the length of the bound. The resulting CNF-fo...
220
click to vote
FMCO
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. The first part of the paper gives a brief overview of metaprogramming, in particular program generation, and its use in software development. The second part introduces ...
184
click to vote
ISOLA
2004
Springer
16 years 1 months ago
2004
Springer
This paper summarizes the results on the correctness of the transformations in compiler back-ends achieved in the DFG-project Verifix. Compiler back-ends transform intermediate la...
203
click to vote
ECBS
2003
IEEE
16 years 27 days ago
2003
IEEE
This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing of performing discovery, a...
240
click to vote
AGTIVE
2003
Springer
16 years 26 days ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...