PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL

Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Féron, Gilberto Perez, Pablo Ascariz
January 2012
DOI
Type
Conference paper
Publication
NASA Formal Methods - Forth International Symposium, NFM 2012, Norfolk, VA USA, April 3-5, 2012. Proceedings
own

Related