Quantifying Software Reliability via Model-Counting-Reference-Cited by-同舟云学术

Quantifying Software Reliability via Model-Counting

Published:2021 Issue: Volume: Page:59-79
ISSN:0302-9743
Container-title:Quantitative Evaluation of Systems
language:
Short-container-title:

Author:

Teuber Samuel^ORCID,Weigl Alexander^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-85172-9_4

Reference23 articles.

1. Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. Inst. Syst. Res. 0114, 10 (2001). https://doi.org/10.1016/S0005-1098(00)00082-0, http://drum.lib.umd.edu/handle/1903/5952

2. Biere, A.: runlim. Website (2016). http://fmv.jku.at/runlim

3. Chakraborty, S., Meel, K.S., Vardi, M.Y.: Algorithmic improvements in approximate counting for probabilistic inference: from linear to logarithmic SAT calls. In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9–15 July 2016, pp. 3569–3576. IJCAI/AAAI Press (2016). http://www.ijcai.org/Abstract/16/503

4. Lecture Notes in Computer Science;Y-F Chen,2015

5. Lecture Notes in Computer Science;E Clarke,2004

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

1. Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08

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

3. Rounding Meets Approximate Model Counting;Computer Aided Verification;2023

4. Projected Model Counting: Beyond Independent Support;Automated Technology for Verification and Analysis;2022