Efficient analysis of cyclic redundancy architectures via Boolean fault propagation

DOI10.1007/978-3-030-99527-0_15zbMATH Open1547.68072MaRDI QIDQ6535620

Marco Bozzano, Alessandro Cimatti, Martin Jonáš, Alberto Griggio

Publication date: 1 February 2024

Mathematics Subject Classification ID

Logic in computer science (03B70) Reliability, testing and fault tolerance of networks and computer systems (68M15) Computational aspects of satisfiability (68R07)

Cites Work

• Unnamed Item
• Unnamed Item
• Hardware and software: verification and testing. 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5--7, 2013. Proceedings
• Formal reliability analysis of redundancy architectures
• Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools

This page was built for publication: Efficient analysis of cyclic redundancy architectures via Boolean fault propagation