On the sequential massart algorithm for statistical model checking

On the sequential massart algorithm for statistical model checking

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...

Full description

Saved in:
Bibliographic Details
Main Authors: JEGOUREL, Cyrille, SUN, Jun, DONG, Jin Song
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2018
Subjects:
Error analysis
formal methods
Software Engineering
Theory and Algorithms
Online Access: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
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

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

Similar Items