54 search results - page 11 / 11 » Configurable Software Verification: Concretizing the Converg... |
230
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
133
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
115
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...
124
Voted
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...