Search Sciweavers | Sciweavers

3970 search results - page 26 / 794

» A Logic For Causal Reasoning

click to vote

CADE
1992
Springer

116views Logical Reasoning» more CADE 1992»

PVS: A Prototype Verification System

13 years 11 months ago

Download ix.cs.uoregon.edu

Sam Owre, John M. Rushby, Natarajan Shankar

claim paper

Read More »

click to vote

CADE
1992
Springer

117views Logical Reasoning» more CADE 1992»

Uniform Traversal Combinators: Definition, Use and Properties

13 years 11 months ago

Download lambda.uta.edu

Leonidas Fegaras, Tim Sheard, David W. Stemple

claim paper

Read More »

click to vote

CADE
1990
Springer

107views Logical Reasoning» more CADE 1990»

The TPS Theorem Proving System

13 years 11 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

click to vote

CADE
1990
Springer

74views Logical Reasoning» more CADE 1990»

Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving

13 years 11 months ago

Download www.mmrc.iss.ac.cn

Shang-Ching Chou, Xiao-Shan Gao

claim paper

Read More »

click to vote

CADE
2010
Springer

162views Logical Reasoning» more CADE 2010»

Verifying Safety Properties with the TLA+ Proof System

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers