Verifying robustness of event-driven asynchronous programs against concurrency

DOI10.1007/978-3-662-54434-1_7MaRDI QIDQ2988639zbMATH OpenOpenAlexFDO

Authors Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran

Publication date 19 May 2017

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://cdm21054.contentdm.oclc.org/cdm/ref/collection/IR/id/7137

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Analysis of asynchronous programs with event-based synchronization
• scientific article; zbMATH DE number 6774232
• Synchronizing the asynchronous
• Checking and enforcing robustness against TSO
• Verifiable design of asynchronous software

Cites work

• Atomizer: A dynamic atomicity checker for multithreaded programs
• Delay-bounded scheduling
• Model-checking of correctness conditions for concurrent objects
• Monitoring Atomicity in Concurrent Programs
• SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
• The Complexity of Predicting Atomicity Violations
• The serializability of concurrent database updates
• Verifying concurrent programs against sequential specifications

Cited in

(4)

• Analysis of asynchronous programs with event-based synchronization
• Synchronizing the asynchronous
• Automated synthesis of asynchronizations
• Verifying asynchronous event-driven programs using partial abstract transformers

Describes a project that uses

Uses Software

• JavaScript
• Atomizer
• Velodrome
• SingleTrack
• GitHub

This page was built for publication: Verifying robustness of event-driven asynchronous programs against concurrency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2988639)