X hits on this document

Powerpoint document

Algorithmic Verification of Concurrent Programs - page 77 / 100

352 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 views352
Page views352
Page last viewedSat Jan 21 14:18:00 UTC 2017
Pages100
Paragraphs1586
Words3927

Comments