Search Sciweavers | Sciweavers

40 search results - page 2 / 8

» Assume-Guarantee Reasoning for Deadlock

click to vote

ESOP
2007
Springer

114views Programming Languages» more ESOP 2007»

On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning

14 years 4 months ago

Download flint.cs.yale.edu

We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...

Xinyu Feng, Rodrigo Ferreira, Zhong Shao

claim paper

Read More »

click to vote

TACAS
2007
Springer

104views Algorithms» more TACAS 2007»

Optimized L*-Based Assume-Guarantee Reasoning

14 years 3 months ago

Download www.sei.cmu.edu

Sagar Chaki, Ofer Strichman

claim paper

Read More »

click to vote

HYBRID
2001
Springer

121views Control Systems» more HYBRID 2001»

Assume-Guarantee Reasoning for Hierarchical Hybrid Systems

14 years 2 months ago

Download mtc.epfl.ch

Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...

Thomas A. Henzinger, Marius Minea, Vinayak S. Prab...

claim paper

Read More »

click to vote

CAV
2008
Springer

112views Hardware» more CAV 2008»

Automated Assume-Guarantee Reasoning by Abstraction Refinement

13 years 11 months ago

Download ti.arc.nasa.gov

Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dim...

claim paper

Read More »