Search Sciweavers | Sciweavers

1322 search results - page 16 / 265

» Unsound Theorem Proving

161

click to vote

ADG
2006
Springer

252views Mathematics» more ADG 2006»

Mechanical Theorem Proving in Tarski's Geometry

15 years 10 months ago

Download webs.uvigo.es

Julien Narboux

claim paper

Read More »

112

click to vote

ISSTA
2006
ACM

107views Software Engineering» more ISSTA 2006»

Testing, abstraction, theorem proving: better together!

15 years 10 months ago

Download www.cs.tau.ac.il

Greta Yorsh, Thomas Ball, Mooly Sagiv

claim paper

Read More »

106

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

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

15 years 9 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

15 years 9 months ago

Download research.microsoft.com

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

claim paper

Read More »

click to vote

VSTTE
2005
Springer

109views Software Engineering» more VSTTE 2005»

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

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers