Quantifying software reliability via model-counting

DOI10.1007/978-3-030-85172-9_4zbMath1491.68113OpenAlexW3193877711MaRDI QIDQ832053

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

software verificationsoftware reliabilitymodel counting

Mathematics Subject Classification ID

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

Related Items (1)

Projected model counting: beyond independent support

Uses Software

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

Cites Work

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

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