Quick verification of concurrent programs by iteratively relaxed scheduling

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Patrick Metzler, Habib Saissi, Peter Bokor, Neeraj Suri

Journal title: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)

Journal publisher: IEEE

Published year: 2017

Published pages: 776-781

DOI identifier: 10.1109/ASE.2017.8115688

ISBN: 978-1-5386-2684-9