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

15 years 10 months ago

Download network.ku.edu.tr

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

claim paper

Read More »

124

click to vote

ESOP
2007
Springer

122views Programming Languages» more ESOP 2007»

A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)

15 years 9 months ago

Download www.doc.ic.ac.uk

Adrian Francalanza, Matthew Hennessy

claim paper

Read More »

104

Voted

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

15 years 8 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

15 years 8 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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers