Quantifying software reliability via model-counting

DOI10.1007/978-3-030-85172-9_4zbMATH Open1491.68113OpenAlexW3193877711MaRDI QIDQ832053FDOQ832053

Authors: Samuel Teuber, Alexander Weigl 

Publication date: 24 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-85172-9_4

Recommendations

• Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
• An extended domain-based model of software reliability
• Computing software reliability based on program invariants
• scientific article; zbMATH DE number 125780
• Software reliability measurements based on compound Poisson processes

zbMATH Keywords

model countingsoftware verificationsoftware reliability

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Effective lattice point counting in rational convex polytopes
• Tools and Algorithms for the Construction and Analysis of Systems
• Sparse Hashing for Scalable Approximate Model Counting
• Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting

Cited In (6)

• An improved additive model for reliability analysis of software with modular structure
• Computing software reliability based on program invariants
• Title not available (Why is that?)
• Rounding meets approximate model counting
• Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
• Projected model counting: beyond independent support

Uses Software

• LattE
• RunLim
• CBMC
• sharpSAT
• GitHub
• GANAK

This page was built for publication: Quantifying software reliability via model-counting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832053)