Search Sciweavers | Sciweavers

3773 search results - page 7 / 755

» Logical Reasoning

142

click to vote

CADE
1992
Springer

116views Logical Reasoning» more CADE 1992»

PVS: A Prototype Verification System

15 years 10 months ago

Download ix.cs.uoregon.edu

Sam Owre, John M. Rushby, Natarajan Shankar

claim paper

Read More »

137

click to vote

CADE
1992
Springer

117views Logical Reasoning» more CADE 1992»

Uniform Traversal Combinators: Definition, Use and Properties

15 years 10 months ago

Download lambda.uta.edu

Leonidas Fegaras, Tim Sheard, David W. Stemple

claim paper

Read More »

118

click to vote

CADE
1990
Springer

107views Logical Reasoning» more CADE 1990»

The TPS Theorem Proving System

15 years 10 months ago

Download www.cs.cmu.edu

Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank ...

claim paper

Read More »

125

click to vote

CADE
1990
Springer

74views Logical Reasoning» more CADE 1990»

Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving

15 years 10 months ago

Download www.mmrc.iss.ac.cn

Shang-Ching Chou, Xiao-Shan Gao

claim paper

Read More »

128

click to vote

CADE
2010
Springer

162views Logical Reasoning» more CADE 2010»

Verifying Safety Properties with the TLA+ Proof System

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers