Stateless Model Checking for POWER
Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Jonsson, Bengt ; Leonardsson, Carl Farzan, Azadeh ; Chaudhuri, Swarat
Computer Aided Verification, 2016, p.134-156
[Periódico revisado por pares]
Cham: Springer International Publishing
Texto completo disponível