1. B. Chimdyalwar P. Darke A. Chavda S. Vaghani and A. Chauhan. 2015. Eliminating static analysis false positives using loop abstraction and bounded model checking. 573-576 pages.
2. Frama-C 2023. Frama-C Plugin Development Guide. Frama-C. https://frama-c.com/html/documentation.html.
3. A. Kaiser H. Post, C. Sinz and T. Gorges. 2008. Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. 23rd IEEE/ACM International Conference on Automated Software Engineering 15 (April 2008), 2–5.
4. David John. 2014. Method and Apparatus for Soft Error Mitigation in Computers. https://patents.google.com/patent/US20150234693A1/en Patent No.US20150234693A1, Filed Feb 25th., 2001, Issued January. 12th., 206.
5. Y. Monne. 2005. Hardening techniques against transient faults for asynchronous circuits.