Verifying liveness for asynchronous programs
DOI10.1145/1480881.1480895zbMath1315.68064OpenAlexW2158126713MaRDI QIDQ5261509
Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko
Publication date: 3 July 2015
Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1480881.1480895
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
This page was built for publication: Verifying liveness for asynchronous programs