Formal Analysis of Soft Errors using Theorem Proving
Preprint in arXiv (July 2013)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Preprint in arXiv (July 2013)
Article in Electronic Proceedings in Theoretical Computer Science (July 2013)
Article in Journal of Automated Reasoning (November 2012)