Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions

DOI10.1134/S0005117912070119MaRDI QIDQ384705zbMATH OpenFDO

Authors L. D. Cheremisinova

Publication date 28 November 2013

Published in Automation and Remote Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Recommendations

• Design and verification of logical models
• Probabilistic verification of Boolean functions
• scientific article; zbMATH DE number 1705165
• A practical approach to partial functions in CVC Lite
• scientific article; zbMATH DE number 2032418

Cites work

• scientific article; zbMATH DE number 2113572 (Why is no real title available?)
• BerkMin: A fast and robust SAT-solver
• SAT-Based Scalable Formal Verification Solutions

Cited in

(2)

• Robustness analysis of logic metrics on \(F(X)\)
• Design and verification of logical models

Describes a project that uses

Uses Software

• MiniSat
• BerkMin

This page was built for publication: Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions

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