4340 search results - page 395 / 868 » Formal Methods and Cryptography |
187
click to vote
FMCAD
2004
Springer
16 years 6 days 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...
198
click to vote
FMCO
2004
Springer
16 years 5 days 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 ...
165
click to vote
ISOLA
2004
Springer
16 years 5 days 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...
180
click to vote
ECBS
2003
IEEE
16 years 3 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...
220
click to vote
AGTIVE
2003
Springer
16 years 1 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...