Quantifying software reliability via model-counting

DOI10.1007/978-3-030-85172-9_4MaRDI QIDQ832053zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

Cited in

(6)

• An improved additive model for reliability analysis of software with modular structure
• Computing software reliability based on program invariants
• scientific article; zbMATH DE number 5713236 (Why is no real title available?)
• Rounding meets approximate model counting
• Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
• Projected model counting: beyond independent support

Describes a project that uses

Uses Software

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

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)