Search Sciweavers | Sciweavers

13383 search results - page 18 / 2677

» Abstractions from proofs

click to vote

TACAS
2010
Springer

153views Algorithms» more TACAS 2010»

Simplifying Linearizability Proofs with Reduction and Abstraction

14 years 5 months ago

Download network.ku.edu.tr

Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi...

claim paper

Read More »

click to vote

ESOP
2007
Springer

122views Programming Languages» more ESOP 2007»

A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)

14 years 4 months ago

Download www.doc.ic.ac.uk

Adrian Francalanza, Matthew Hennessy

claim paper

Read More »

click to vote

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

14 years 3 months ago

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper

Read More »

click to vote

ICCAD
2003
IEEE

97views Hardware» more ICCAD 2003»

Iterative Abstraction using SAT-based BMC with Proof Analysis

14 years 3 months ago

Download www.cs.wmich.edu

Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav ...

claim paper

Read More »

click to vote

LICS
2003
IEEE

85views Automated Reasoning» more LICS 2003»

A Proof Theory for Generic Judgments: An extended abstract

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers