2 papers
cs.FL2019
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous
Adrien Pommellet, Tayssir Touili
We present in this paper a generic framework for the analysis of multi-threaded programs with recursive procedure calls, synchronisation by rendez-vous between parallel threads, an…
cs.FL2018
Reachability Analysis of Pushdown Systems with an Upper Stack
Adrien Pommellet, Marcio Diaz, Tayssir Touili
Pushdown systems (PDSs) are a natural model for sequential programs, but they can fail to accurately represent the way an assembly stack actually operates. Indeed, one may want to…