Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency

DOI10.1007/978-3-662-54434-1_7zbMath1485.68054OpenAlexW2596184660MaRDI QIDQ2988639

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

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)

Related Items (2)

Automated synthesis of asynchronizations ⋮ Unnamed Item

Uses Software

• JavaScript
• Atomizer
• Velodrome
• SingleTrack
• GitHub

Cites Work

• Atomizer: A dynamic atomicity checker for multithreaded programs
• 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
• Delay-bounded scheduling

This page was built for publication: Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency