Searching for "Symbolic Execution with Separation Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Symbolic execution with separation logic
by Josh Berdine, Cristiano Calcagno, Peter W. O’hearn, Queen Mary — 2005 — In APLAS
… Symbolic Execution with Separation Logic Josh Berdine 1 , Cristiano Calcagno 2 , and Peter W. O’Hearn 1 1…
Cited by 49 (21 self) – Add To MetaCart

Automatic Parallelization with Separation Logic
by Mohammad Raza, Cristiano Calcagno
… an execution. Symbolic execution based on separation logic [2, 6] is extended so that occurrences of the same…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB