Search Sciweavers | Sciweavers

634 search results - page 19 / 127

» Separability in the Ambient Logic

105

click to vote

ESOP
2010
Springer

178views Programming Languages» more ESOP 2010»

Parameterized Memory Models and Concurrent Separation Logic

15 years 7 months ago

Download flint.cs.yale.edu

Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...

Rodrigo Ferreira, Xinyu Feng and Zhong Shao

claim paper

Read More »

click to vote

DAC
2003
ACM

145views Computer Architecture» more DAC 2003»

A hybrid SAT-based decision procedure for separation logic with uninterpreted functions

15 years 10 months ago

Download www.cs.cmu.edu

SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...

Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Br...

claim paper

Read More »

click to vote

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

15 years 4 months ago