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

DOI10.1134/S0005117912070119zbMath1283.94158MaRDI QIDQ384705

L. D. Cheremisinova

Publication date: 28 November 2013

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

Mathematics Subject Classification ID

Uses Software

• MiniSat
• BerkMin

Cites Work

• BerkMin: A fast and robust SAT-solver
• SAT-Based Scalable Formal Verification Solutions
• Unnamed Item

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