Search

• < Previous
• 1
• Next >

---

Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads

Mohamed Faouzi Atig ; Ahmed Bouajjani ; Shaz Qadeer.

Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis explores all behaviors of a concurrent program up to some fixed number of context switches between threads. This&nbsp;[&hellip;]

---

Model-Checking of Ordered Multi-Pushdown Automata

Mohamed Faouzi Atig.

We address the verification problem of ordered multi-pushdown automata: A multi-stack extension of pushdown automata that comes with a constraint on stack transitions such that a pop can only be performed on the first non-empty stack. First, we show that the emptiness problem for ordered&nbsp;[&hellip;]

---