X hits on this document

Powerpoint document

Algorithmic Verification of Concurrent Programs - page 77 / 100

295 views

0 shares

0 downloads

0 comments

77 / 100

Simplifying assumption

Multithreaded program

Set of global states G

Set of local states L1, …, Ln

 …

…



…

…



Reachability problem: Is there an execution from init to a state in E?

Document info
Document views295
Page views295
Page last viewedSun Dec 11 00:37:12 UTC 2016
Pages100
Paragraphs1586
Words3927

Comments