Concepedia

Statistical model checking QoS properties of systems with SBIP

Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay

International Journal on Software Tools for Technology Transfer · 2014 · 44 citations · 21 references

Open access

Concepts

ComputingComputer ScienceComputer SystemsFormal MethodsModel-based Systems EngineeringSystems ModelingDeductive VerificationExecutable System ModelsModel CheckingModel ExecutionQueueing TheoryDistributed Systems VerificationFinite-state VerificationModel-based VerificationStatistical Model Specification

References

21

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Probability Inequalities for Sums of Bounded Random Variables

Wassily Hoeffding · Journal of the American Statistical Association · 1963 · 4.8K citations

Natural Sciences, Mathematics, Probability Theory +12

Sequential Tests of Statistical Hypotheses

A. Wald · The Annals of Mathematical Statistics · 1945 · 1.7K citations · Full text

Natural Sciences, Biostatistics, Experimental Design +12

Modeling Heterogeneous Real-time Components in BIP

Ananda Basu, Marius Bozga, Joseph Sifakis · 2006 · 415 citations · Full text

Engineering, Computer Science, Systems Engineering +12

Automata-based verification of temporal properties on running programs

Dimitra Giannakopoulou, Klaus Havelund · 2005 · 199 citations · Full text

Computing, Computer Science, Formal Methods +16