40 search results - page 2 / 8 » Assume-Guarantee Reasoning for Deadlock |
102
click to vote
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
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...
60
Voted
TACAS
2007
Springer
15 years 5 months ago
2007
Springer
HYBRID
2001
Springer
15 years 4 months ago
2001
Springer
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...
74
Voted
CAV
2008
Springer
15 years 1 months ago
2008
Springer
FMSD
2008
14 years 11 months ago
2008
