Search Sciweavers | Sciweavers

1410 search results - page 14 / 282

» Proving theorems by reuse

click to vote

FM
1999
Springer

161views Formal Methods» more FM 1999»

Combining Theorem Proving and Continuous Models in Synchronous Design

14 years 2 months ago

Download www.ida.liu.se

Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...

Simin Nadjm-Tehrani, Ove Åkerlund

claim paper

Read More »

click to vote

KI
2009
Springer

134views Artificial Intelligence» more KI 2009»

Comparing Unification Algorithms in First-Order Theorem Proving

14 years 4 months ago

Download www.cs.man.ac.uk

Krystof Hoder, Andrei Voronkov

claim paper

Read More »

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 4 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 3 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 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers