Search Sciweavers | Sciweavers

1302 search results - page 17 / 261

» Free-Style Theorem Proving

click to vote

TPHOL
2008
IEEE

107views Automated Reasoning» more TPHOL 2008»

Twenty Years of Theorem Proving for HOLs Past, Present and Future

14 years 2 months ago

Download users.encs.concordia.ca

Mike Gordon

claim paper

Read More »

click to vote

ADG
2006
Springer

252views Mathematics» more ADG 2006»

Mechanical Theorem Proving in Tarski's Geometry

14 years 1 months ago

Download webs.uvigo.es

Julien Narboux

claim paper

Read More »

click to vote

ISSTA
2006
ACM

107views Software Engineering» more ISSTA 2006»

Testing, abstraction, theorem proving: better together!

14 years 1 months ago

Download www.cs.tau.ac.il

Greta Yorsh, Thomas Ball, Mooly Sagiv

claim paper

Read More »

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

14 years 1 months ago

Download www.jaist.ac.jp

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...

claim paper

Read More »

click to vote

LPAR
2005
Springer

94views Automated Reasoning» more LPAR 2005»

Zap: Automated Theorem Proving for Software Analysis

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers