Fair model checking with process counter abstraction

• Main Authors: SUN, Jun, LIU, Yang, ROYCHOUDHURY, Abhik, LIU, Shanshan, DONG, Jin Song
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2009
• Subjects: Model Check; Connected Subgraph; Strongly Connect Component; Linear Temporal Logic; Model Check Algorithm; Programming Languages and Compilers; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/5039; https://ink.library.smu.edu.sg/context/sis_research/article/6042/viewcontent/fair.pdf
• Institution: Singapore Management University

Parameterized systems are characterized by the presence of a large (or even unbounded) number of behaviorally similar processes, and they often appear in distributed/concurrent systems. A common state space abstraction for checking parameterized systems involves not keeping track of process identifi...