On the sequential massart algorithm for statistical model checking

• المؤلفون الرئيسيون: JEGOUREL, Cyrille, SUN, Jun, DONG, Jin Song
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2018
• الموضوعات: Error analysis; formal methods; Software Engineering; Theory and Algorithms
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/4653; https://ink.library.smu.edu.sg/context/sis_research/article/5656/viewcontent/ON_THE_SEQUENTIAL.pdf
• المؤسسة: Singapore Management University

Several schemes have been provided in Statistical Model Checking (SMC) for the estimation of property occurrence based on predefined confidence and absolute or relative error. Simulations might be however costly if many samples are required and the usual algorithms implemented in statistical model c...