Bypassing BDD construction for reliability analysis

DOI10.1016/S0020-0190(00)00082-XzbMath0953.68510MaRDI QIDQ1583059

Poul Frederick Williams, Macha Nikolskaïa, Antoine Rauzy

Publication date: 26 October 2000

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

zbMATH Keywords

data structuresreliability analysisBoolean formula

Mathematics Subject Classification ID

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

Related Items

Formal verification based on Boolean expression diagrams

Cites Work

• Boolean expression diagrams
• Graph-Based Algorithms for Boolean Function Manipulation
• Unnamed Item