Bypassing BDD construction for reliability analysis

DOI10.1016/S0020-0190(00)00082-XMaRDI QIDQ1583059zbMATH OpenFDO

Authors Poul Frederick Williams, M. Nikolskaia, A. Rauzy

Publication date 26 October 2000

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0020-0190(00)00082-X

zbMATH Keywords

Boolean formuladata structuresreliability analysis

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Data structures (68P05)

Cites work

• Boolean expression diagrams
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 3888913 (Why is no real title available?)

Cited in

(1)

• Formal verification based on Boolean expression diagrams

This page was built for publication: Bypassing BDD construction for reliability analysis

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