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

DOI10.1134/S0005117912070119zbMATH Open1283.94158MaRDI QIDQ384705FDOQ384705

L. D. Cheremisinova

Publication date: 28 November 2013

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

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

Mathematics Subject Classification ID

Cites Work

• BerkMin: A fast and robust SAT-solver
• Title not available (Why is that?)
• SAT-Based Scalable Formal Verification Solutions

Cited In (2)

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

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)