Automated Deduction—CADE-18 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540439318, 9783540456209
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Formal Verification of a Combination Decision Procedure

2002 ◽  
pp. 347-362 ◽  
Author(s):  
Jonathan Ford ◽  
Natarajan Shankar
Keyword(s):  
Formal Verification ◽  
Decision Procedure

Temporal Logic for Proof-Carrying Code

2002 ◽  
pp. 31-46 ◽  
Author(s):  
Andrew Bernard ◽  
Peter Lee
Keyword(s):  
Temporal Logic

Proof Development with Ωmega

2002 ◽  
pp. 144-149 ◽  
Author(s):  
Jörg Siekmann ◽  
Christoph Benzmüller ◽  
Vladimir Brezhnev ◽  
Lassaad Cheikhrouhou ◽  
Armin Fiedler ◽  
...  

Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation

2002 ◽  
pp. 456-470 ◽  
Author(s):  
Miquel Bofill ◽  
Albert Rubio
Keyword(s):  
Well Foundedness

Lazy Theorem Proving for Bounded Model Checking over Infinite Domains

2002 ◽  
pp. 438-455 ◽  
Author(s):  
Leonardo de Moura ◽  
Harald Rueß ◽  
Maria Sorea
Keyword(s):  
Model Checking ◽  
Theorem Proving ◽  
Bounded Model Checking ◽  
Infinite Domains

scholarly journals A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code

2002 ◽  
pp. 47-62 ◽  
Author(s):  
Robert R. Schneck ◽  
George C. Necula
Keyword(s):  
Gradual Approach

Shostak Light

2002 ◽  
pp. 332-346 ◽  
Author(s):  
Harald Ganzinger
Load More ...
Sign in / Sign up

Export Citation Format

Share Document