PAT: Towards flexible verification under fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing population protocols. Current practice of system analysis is, however, deficient under fairness. In this work, we presen...
Saved in:
Main Authors: | SUN, Jun, LIU, Yang, DONG, Jin Song, PANG, Jun |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2009
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/5038 https://ink.library.smu.edu.sg/context/sis_research/article/6041/viewcontent/PAT.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Scalable multi-core model checking fairness enhanced systems
by: LIU, Yang, et al.
Published: (2009) -
Fair model checking with process counter abstraction
by: SUN, Jun, et al.
Published: (2009) -
Verification of orchestration systems using compositional partial order reduction
by: TAN, Tian Huat, et al.
Published: (2011) -
Developing model checkers using PAT
by: LIU, Yang, et al.
Published: (2010) -
Symbolic model-checking of stateful timed CSP using BDD and digitization
by: NGUYEN, Truong Khanh, et al.
Published: (2012)