Stateless model checking for TSO and PSO.
| Autor: | Abdulla, Parosh1 parosh@it.uu.se, Aronis, Stavros1 stavros.aronis@it.uu.se, Atig, Mohamed1 mohamed_faouzi.atig@it.uu.se, Jonsson, Bengt1 bengt.jonsson@it.uu.se, Leonardsson, Carl1 carl.leonardsson@it.uu.se, Sagonas, Konstantinos1 konstantinos.sagonas@it.uu.se |
|---|---|
| Zdroj: | Acta Informatica. Dec2017, Vol. 54 Issue 8, p789-818. 30p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|