Résumé | The talk should be a (gentle) introduction to verification problems for concurrent, asynchronous systems. I will focus on two models (among a large number!), one with shared memory and another one with asynchronous calls. The talk is based on the following papers:
- Parameterized Verification of Asynchronous Shared-Memory Systems Javier Esparza, Pierre Ganty, and Rupak Majumdar CAV 2013
- Safety of parametrized asynchronous shared-memory systems is almost always decidable S. La Torre, A. Muscholl, I. Walukiewicz 2015
- Algorithmic Verification of Asynchronous Programs Pierre Ganty, and Rupak Majumdar ACM Transactions on Programming Languages and Systems 2012
|