1206 search results - page 36 / 242 » Concurrent Abstract Predicates |
105
click to vote
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
103
click to vote
SPIN
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
103
click to vote
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
CAV
2008
Springer
15 years 2 months ago
2008
Springer
A Tool: Causality-based Abstraction for Security Protocol Analysis (Tool Paper) Michael Backes1,2 , Stefan Lorenz1 , Matteo Maffei1 , and Kim Pecina1 1 Saarland University, Saarbr
101
click to vote
SAS
2010
Springer
14 years 11 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...