X hits on this document

Powerpoint document

Algorithmic Verification of Concurrent Programs - page 64 / 100

238 views

0 shares

0 downloads

0 comments

64 / 100

Bounded model checking

for each (s 













’

’



Problem: Is there an execution from a state in I

to a state in E of length at most d?

Space complexity: O(d)

Time complexity: O(nd)

NP-complete

Document info
Document views238
Page views238
Page last viewedMon Dec 05 05:47:42 UTC 2016
Pages100
Paragraphs1586
Words3927

Comments