Stateless model checking for TSO and PSO
Abdulla, Parosh Aziz, Aronis, Stavros, Atig, Mohamed Faouzi, Jonsson, Bengt, Leonardsson, Carl, Sagonas, KonstantinosLanguage:
english
Journal:
Acta Informatica
DOI:
10.1007/s00236-016-0275-0
Date:
July, 2016
File:
PDF, 1.14 MB
english, 2016