Multi-core model checking algorithms for LTL verification with fairness assumptions

• Main Authors: HA, Xuan-Linh, QUAN, Thanh Tho, LIU, Yang, SUN, Jun
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2013
• Subjects: Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/5067
• Institution: Singapore Management University

The main challenge in model checking is the state space explosion. With developments in hardware today, most processors have many cores inside. To leverage on the advances in hardware, we can increase the performance of verifying large models by designing parallel algorithms to run efficiently on mu...