Extracting Safe Thread Schedules from Incomplete Model Checking Results - Research Portal | Lancaster University

Home > Research > Datasets > Extracting Safe Thread Schedules from Incomplet...

DOI

https://doi.org/10.5281/zenodo.3752957

View graph of relations

Extracting Safe Thread Schedules from Incomplete Model Checking Results

Dataset

Patrick Metzler (Creator)
Neeraj Suri (Creator)
Georg Weissenbacher (Creator)

Description

Software used in the experiments on iterative model checking of concurrent software.

Date made available	15/04/2020
Publisher	Zenodo

Contact person

rdm@lancaster.ac.uk

Links

open