Automatically `Verifying’ discrete-time complex systems through learning, abstraction and refinement

• Main Authors: WANG, Jingyi, SUN, Jun, QIN, Shengchao, JEGOUREL, Cyrille
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2018
• Subjects: Verification; model learning; abstraction refinement; Cyber-physical system; Computer Engineering; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4760; https://ink.library.smu.edu.sg/context/sis_research/article/5763/viewcontent/1610.06371.pdf
• Institution: Singapore Management University

Precisely modeling complex systems like cyber-physical systems is challenging, which often render model-based system verification techniques like model checking infeasible. To overcome this challenge, we propose a method called LAR to automatically ‘verify’ such complex systems through a combination...