Developing model checkers using PAT

• Main Authors: LIU, Yang, SUN, Jun, DONG, Jin Song
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2010
• Subjects: Model Check; Concurrent System; Language Feature; Symbolic Model Check; Bound Model Check; Programming Languages and Compilers; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/5034; https://ink.library.smu.edu.sg/context/sis_research/article/6037/viewcontent/Developing_Model_Checkers_Using_PAT.pdf
• Institution: Singapore Management University

During the last two decades, model checking has emerged as an effective system analysis technique complementary to simulation and testing. Many model checking algorithms and state space reduction techniques have been proposed. Although it is desirable to have dedicated model checkers for every langu...