Sciweavers

1302 search results - page 23 / 261

» Free-Style Theorem Proving

18

DT
2007

98views more DT 2007»

Combining Theorem Proving with Model Checking through Predicate Abstraction

13 years 7 months ago

Combining Theorem Proving with Model Checking through Predicate Abstraction

Download www.cs.utexas.edu

Sandip Ray, Rob Sumners

claim paper

Read More »

21

AICOM
2005

51views more AICOM 2005»

The IJCAR-2004 Automated Theorem Proving Competition

13 years 7 months ago

The IJCAR-2004 Automated Theorem Proving Competition

Download www.cs.miami.edu

Geoff Sutcliffe

claim paper

Read More »

15

JAR
2007

57views more JAR 2007»

Special Issue on User Interfaces in Theorem Proving: Preface

13 years 7 months ago

Special Issue on User Interfaces in Theorem Proving: Preface

Download www.informatik.uni-bremen.de

David Aspinall, Christoph Lüth

claim paper

Read More »

20

AMAI
2000
Springer

77views Artificial Intelligence» more AMAI 2000»

TAME: Using PVS strategies for special-purpose theorem proving

13 years 7 months ago

TAME: Using PVS strategies for special-purpose theorem proving

Download www.nrl.navy.mil

Myla Archer

claim paper

Read More »

20

FSTTCS
2008
Springer

123views Software Engineering» more FSTTCS 2008»

Sound Lemma Generation for Proving Inductive Validity of Equations

13 years 8 months ago

Sound Lemma Generation for Proving Inductive Validity of Equations

Download drops.dagstuhl.de

ABSTRACT. In many automated methods for proving inductive theorems, ﬁnding a suitable generalization of a conjecture is a key for the success of proof attempts. On the other hand...

Takahito Aoto

claim paper

Read More »

« Prev « First page 23 / 261 Last » Next »