RT @verif_papers: Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. - Assalé Adjé, Pierre-Loïc… http://t.c…
104 followers
122 followers
RT @verif_papers: May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. - Elvira Albert,… http:/…
122 followers
RT @verif_papers: Parallel Cost Analysis of Distributed Systems. - Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo… http://t.c…
507 followers
RT @verif_papers: May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. - Elvira Albert,… http:/…