From non-preemptive to preemptive scheduling using synchronization synthesis

DOI10.1007/978-3-319-21668-3_11zbMath1381.68040arXiv1505.04533OpenAlexW2734444937MaRDI QIDQ5915873

Thorsten Tarrach, Roopsha Samanta, Leonid Ryzhyk, Edmund M. Clarke, Arjun Radhakrishna, Thomas A. Henzinger, Pavol Černý

Publication date: 1 March 2018

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1505.04533

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (3)

Introduction to Model Checking ⋮ Automated synthesis of asynchronizations ⋮ From non-preemptive to preemptive scheduling using synchronization synthesis

Uses Software

• Liss
• Limi

This page was built for publication: From non-preemptive to preemptive scheduling using synchronization synthesis