1036 search results - page 186 / 208 » Verification Programs for Abduction |
155
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
147
click to vote
SIGCSE
2009
ACM
16 years 5 months ago
2009
ACM
Many academic and industry professionals have called for more testing in computer science curricula. Test-driven development (TDD) has been proposed as a solution to improve testi...
117
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
130
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
200
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
Data management lies at the core of most modern information technology deployments. Accordingly, the reliability of the database management system (DBMS) is critical to the reputa...