1111 search results - page 153 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
110
click to vote
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
128
Voted
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
118
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
135
Voted
ASE
1999
15 years 2 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
131
Voted
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...