Search Sciweavers | Sciweavers

1322 search results - page 16 / 265

» Unsound Theorem Proving

196

click to vote

ADG
2006
Springer

252views Mathematics» more ADG 2006»

Mechanical Theorem Proving in Tarski's Geometry

16 years 16 days ago

Download webs.uvigo.es

Julien Narboux

claim paper

Read More »

141

click to vote

ISSTA
2006
ACM

107views Software Engineering» more ISSTA 2006»

Testing, abstraction, theorem proving: better together!

16 years 15 days ago

Download www.cs.tau.ac.il

Greta Yorsh, Thomas Ball, Mooly Sagiv

claim paper

Read More »

143

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

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

16 years 5 days ago

Download www.jaist.ac.jp

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

claim paper

Read More »

102

click to vote

LPAR
2005
Springer

94views Automated Reasoning» more LPAR 2005»

Zap: Automated Theorem Proving for Software Analysis

16 years 1 days ago

Download research.microsoft.com

Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvath...

claim paper

Read More »

125

click to vote

VSTTE
2005
Springer

109views Software Engineering» more VSTTE 2005»

Dependent Types, Theorem Proving, and Applications for a Verifying Compiler

16 years 14 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers