Developing model checkers using PAT

• المؤلفون الرئيسيون: LIU, Yang, SUN, Jun, DONG, Jin Song
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2010
• الموضوعات: Model Check; Concurrent System; Language Feature; Symbolic Model Check; Bound Model Check; Programming Languages and Compilers; Software Engineering
• الوصول للمادة أونلاين: 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
• المؤسسة: 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...