Counterexample computation in compositional nonblocking verification

• Main Authors: Malik, Robi, Ware, Simon
• Other Authors: School of Electrical and Electronic Engineering
• Format: Article
• Language: English
• Published: 2018
• Subjects: Verification; Validation; DRNTU::Engineering::Electrical and electronic engineering
• Online Access: https://hdl.handle.net/10356/89807; http://hdl.handle.net/10220/47151
• Institution: Nanyang Technological University

This paper describes algorithms to compute a counterexample when compositional nonblocking verification determines that a discrete event system is blocking. Counterexamples are an important feature of model checking that explains the cause of a detected problem, greatly helping users to understand a...