Searching for "On Local Reasoning in Verification." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

An example of local reasoning in BI pointer logic: the Schorr-Waite graph marking algorithm
by Hongseok Yang — 2001 — Proceedings of the SPACE Workshop
… is on the benefit of local reasoning in 5 verification. The verification shows that with local reasoning…
Cited by 16 (1 self) – Add To MetaCart

Showing 1 through 1.

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