337 search results - page 34 / 68 » Predicate abstraction for software verification |
103
Voted
CORR
2010
Springer
14 years 7 months ago
2010
Springer
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...
100
click to vote
ASE
2008
15 years 19 days ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
127
click to vote
DT
2006
15 years 15 days ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
106
click to vote
POPL
2010
ACM
15 years 21 days ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
112
click to vote
ENTCS
2010
14 years 10 months ago
2010
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...