Sciweavers

1302 search results - page 23 / 261

» Free-Style Theorem Proving

75

DT
2007

98views more DT 2007»

Combining Theorem Proving with Model Checking through Predicate Abstraction

14 years 11 months ago

Combining Theorem Proving with Model Checking through Predicate Abstraction

Download www.cs.utexas.edu

Sandip Ray, Rob Sumners

claim paper

Read More »

85

AICOM
2005

51views more AICOM 2005»

The IJCAR-2004 Automated Theorem Proving Competition

14 years 11 months ago

The IJCAR-2004 Automated Theorem Proving Competition

Download www.cs.miami.edu

Geoff Sutcliffe

claim paper

Read More »

63

JAR
2007

57views more JAR 2007»

Special Issue on User Interfaces in Theorem Proving: Preface

14 years 11 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 »

78

AMAI
2000
Springer

77views Artificial Intelligence» more AMAI 2000»

TAME: Using PVS strategies for special-purpose theorem proving

14 years 11 months ago

TAME: Using PVS strategies for special-purpose theorem proving

Download www.nrl.navy.mil

Myla Archer

claim paper

Read More »

108

FSTTCS
2008
Springer

123views Software Engineering» more FSTTCS 2008»

Sound Lemma Generation for Proving Inductive Validity of Equations

15 years 28 days 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 »