Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering
Reference60 articles.
1. Affeldt R, Garrigue J (2015) Formalization of Error-Correcting codes: from hamming to modern coding theory. In: Urban C, Zhang X (eds) Proceedings of International conference on interactive theorem proving. Springer, LNCS, vol 9236, pp 17–33
2. Affeldt R, Garrigue J (2015) Formalization of Error-Correcting Codes using SSReflect. MI Lect Note Ser 61:76–78
3. Affeldt R, Garrigue J, Saikawa T (2016) Formalization of Reed-Solomon Codes and progress report on Formalization of LDPC Codes. In: Proceedings of International Symposium on Information Theory and Its Applications. IEEE, pp 532–536
4. Affeldt R, Garrigue J, Saikawa T (2020) A library for formalization of linear Error-Correcting codes. Journal of Automated Reasoning, pp 1–42
5. Arbel E, Koyfman S, Kudva P, Moran S (2014) Automated detection and verification of parity-protected memory elements. In: Proceedings of International Conference on Computer-Aided Design. IEEE, pp 1–8
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献