12981 search results - page 558 / 2597 » Model Checking (Abstract) |
204
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
327
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
159
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
We consider finite graphs whose edges are labeled with elements, called colors, taken from a fixed finite alphabet. We study the problem of determining whether there is an infi...
194
click to vote
DBPL
2007
Springer
16 years 1 months ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
182
click to vote
CSFW
2006
IEEE
16 years 1 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...