Model checking with fairness assumptions using PAT
From MaRDI portal
Publication:2418662
DOI10.1007/s11704-013-3091-5zbMath1425.68269MaRDI QIDQ2418662
Jun Pang, Shaojie Zhang, Yang Liu, Jun Sun, Jin-Song Dong, Xiaohu Yang, Yuanjie Si
Publication date: 28 May 2019
Published in: Frontiers of Computer Science (Search for Journal in Brave)
Full work available at URL: http://orbilu.uni.lu/handle/10993/14957
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software