FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals-Reference-Cited by-同舟云学术

FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals

Published:2016 Issue: Volume: Page:540-546
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Calinescu Radu,Johnson Kenneth,Paterson Colin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-49674-9_32

Reference15 articles.

1. Lecture Notes in Computer Science;S Andova,2003

2. Calinescu, R., Ghezzi, C., Johnson, K., Pezze, M., Rafiq, Y., Tamburrelli, G.: Formal verification with confidence intervals to establish quality of service properties of software systems. IEEE Trans. Reliab. PP(99), 1–16 (2015)

3. Calinescu, R., Johnson, K., Rafiq, Y.: Developing self-verifying service-based systems. In: ASE 2013, pp. 734–737 (2013)

4. Calinescu, R., Rafiq, Y., Johnson, K., Bakir, M.E.: Adaptive model learning for continual verification of non-functional properties. In: ICPE 2014, pp. 87–98 (2014)

5. Lecture Notes in Computer Science;C Dehnert,2015

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Parameter synthesis for Markov models: covering the parameter space;Formal Methods in System Design;2024-02-17

2. Bayesian learning for the robust verification of autonomous robots;Communications Engineering;2024-01-27

3. Predicting Nonfunctional Requirement Violations in Autonomous Systems;ACM Transactions on Autonomous and Adaptive Systems;2023-11-14

4. Fast Parametric Model Checking With Applications to Software Performability Analysis;IEEE Transactions on Software Engineering;2023-10-01

5. Probabilistic program performance analysis with confidence intervals;Information and Software Technology;2023-04