Stateless Model Checking for POWER

Article Details
Title:	Stateless Model Checking for POWER
Article URLs:	https://doi.org/10.1007/978-3-319-41540-6_8
Alternative Article URLs:
Authors:	Parosh Aziz Abdulla	Uppsala University, Department of Information Technology
	Mohamed Faouzi Atig	Uppsala University, Department of Information Technology
	Bengt Jonsson	Uppsala University, Department of Information Technology
	Carl Leonardsson	Uppsala University, Department of Information Technology
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://github.com/nidhugg/nidhugg
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cav/AbdullaAJL16
Author Comments:

Computer Aided Verification, CAV 2016