Model checking with fairness assumptions using PAT
10.1007/s11704-013-3091-5
Saved in:
Main Authors: | , , , , , , |
---|---|
Other Authors: | |
Format: | Article |
Published: |
2014
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/77888 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
id |
sg-nus-scholar.10635-77888 |
---|---|
record_format |
dspace |
spelling |
sg-nus-scholar.10635-778882023-10-26T20:47:59Z Model checking with fairness assumptions using PAT Si, Y. Sun, J. Liu, Y. Dong, J.S. Pang, J. Zhang, S.J. Yang, X. COMPUTER SCIENCE fairness formal methods model checking PAT verification tool 10.1007/s11704-013-3091-5 Frontiers of Computer Science 8 1 1-16 2014-07-04T03:09:58Z 2014-07-04T03:09:58Z 2014-02 Article Si, Y., Sun, J., Liu, Y., Dong, J.S., Pang, J., Zhang, S.J., Yang, X. (2014-02). Model checking with fairness assumptions using PAT. Frontiers of Computer Science 8 (1) : 1-16. ScholarBank@NUS Repository. https://doi.org/10.1007/s11704-013-3091-5 20952228 http://scholarbank.nus.edu.sg/handle/10635/77888 000329625400001 Scopus |
institution |
National University of Singapore |
building |
NUS Library |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
NUS Library |
collection |
ScholarBank@NUS |
topic |
fairness formal methods model checking PAT verification tool |
spellingShingle |
fairness formal methods model checking PAT verification tool Si, Y. Sun, J. Liu, Y. Dong, J.S. Pang, J. Zhang, S.J. Yang, X. Model checking with fairness assumptions using PAT |
description |
10.1007/s11704-013-3091-5 |
author2 |
COMPUTER SCIENCE |
author_facet |
COMPUTER SCIENCE Si, Y. Sun, J. Liu, Y. Dong, J.S. Pang, J. Zhang, S.J. Yang, X. |
format |
Article |
author |
Si, Y. Sun, J. Liu, Y. Dong, J.S. Pang, J. Zhang, S.J. Yang, X. |
author_sort |
Si, Y. |
title |
Model checking with fairness assumptions using PAT |
title_short |
Model checking with fairness assumptions using PAT |
title_full |
Model checking with fairness assumptions using PAT |
title_fullStr |
Model checking with fairness assumptions using PAT |
title_full_unstemmed |
Model checking with fairness assumptions using PAT |
title_sort |
model checking with fairness assumptions using pat |
publishDate |
2014 |
url |
http://scholarbank.nus.edu.sg/handle/10635/77888 |
_version_ |
1781783821370261504 |