3 search results - page 1 / 1 » Making Predicate Abstraction Efficient: How to Eliminate Red... |
CAV
2003
Springer
15 years 4 months ago
2003
Springer
redicate Abstraction Efficient: How to eliminate redundant predicates Edmund Clarke
127
click to vote
ICDE
2002
IEEE
15 years 5 months ago
2002
IEEE
Soon, much of the data exchanged over the Internet will be encoded in XML, allowing for sophisticated filtering and content-based routing. We have built a filtering engine called ...
109
click to vote
ICTAC
2010
Springer
14 years 10 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...