Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design.

Published in: CoRR (2024)

Keyphrases

formal verification
safety critical
embedded systems
model checking
expert systems
real time
knowledge based systems
fault tolerant
error detection and correction
information systems
cooperative
software development
decision support system
software architecture
formal methods
model checker