119
Voted
CADE
16 years 1 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...
131
click to vote
CADE
16 years 1 months ago
2009 Springer 
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
113
Voted
CADE
16 years 1 months ago
2009 Springer 
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a proce...
CADE
16 years 1 months ago
2009 Springer 
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
|
Logical Reasoning