Search Sciweavers | Sciweavers

1410 search results - page 14 / 282

» Proving theorems by reuse

159

click to vote

FM
1999
Springer

161views Formal Methods» more FM 1999»

Combining Theorem Proving and Continuous Models in Synchronous Design

15 years 10 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 »

139

click to vote

KI
2009
Springer

134views Artificial Intelligence» more KI 2009»

Comparing Unification Algorithms in First-Order Theorem Proving

16 years 5 days ago

Download www.cs.man.ac.uk

Krystof Hoder, Andrei Voronkov

claim paper

Read More »

139

click to vote

TPHOL
2008
IEEE

107views Automated Reasoning» more TPHOL 2008»

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

16 years 8 hour ago

Download users.encs.concordia.ca

Mike Gordon

claim paper

Read More »

180

click to vote

ADG
2006
Springer

252views Mathematics» more ADG 2006»

Mechanical Theorem Proving in Tarski's Geometry

15 years 11 months ago

Download webs.uvigo.es

Julien Narboux

claim paper

Read More »

130

click to vote

ISSTA
2006
ACM

107views Software Engineering» more ISSTA 2006»

Testing, abstraction, theorem proving: better together!

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers