5599 search results - page 269 / 1120 » Abstract State Services |
140
click to vote
COMPUTER
2006
15 years 6 months ago
2006
egrating middleware layer that abstracts the execution environment and implements services and communication channels, and
172
click to vote
FSTTCS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
152
click to vote
APN
2005
Springer
16 years 3 days ago
2005
Springer
This paper presents the high level Petri nets analyzer Helena. Helena can be used for the on-the-fly verification of state properties, i.e., properties that must hold in all the ...
149
click to vote
ASM
2004
ASM
15 years 12 months ago
2004
ASM
Abstract. Static single assignment (SSA) form is the intermediate representation of choice in modern optimizing compilers for which no formal semantics has been stated yet. To prov...
156
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...