Model checking with fairness assumptions using PAT

• Main Authors: Si, Y., Sun, J., Liu, Y., Dong, J.S., Pang, J., Zhang, S.J., Yang, X.
• Other Authors: COMPUTER SCIENCE
• Format: Article
• Published: 2014
• Subjects: fairness; formal methods; model checking; PAT; verification tool
• Online Access: http://scholarbank.nus.edu.sg/handle/10635/77888
• Institution: National University of Singapore

10.1007/s11704-013-3091-5