177 search results - page 23 / 36 » Combining Proof-Producing Decision Procedures |
112
click to vote
SAS
2010
Springer
15 years 8 days 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...
117
Voted
ICCAD
2010
IEEE
14 years 12 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
119
click to vote
COLING
2010
14 years 9 months ago
2010
Previous methods on improving translation quality by employing multiple SMT models usually carry out as a secondpass decision procedure on hypotheses from multiple systems using e...
146
click to vote
RTA
2005
Springer
15 years 7 months ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
107
Voted
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...