2 results
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 […]
Published on November 23, 2011
Ahmed Bouajjani ; Cezara Dragoi ; Constantin Enea ; Yan Jurski ; Mihaela Sighireanu.
We propose a framework for reasoning about unbounded dynamic networks of infinite-state processes. We propose Constrained Petri Nets (CPN) as generic models for these networks. They can be seen as Petri nets where tokens (representing occurrences of processes) are colored by values over some […]
Published on April 22, 2009