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

Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loic Garoche, Eric Feron, Gilberto Perez, Pablo Ascariz
January 2012
Cite DOI
Type
Conference paper
Publication
NASA Formal Methods - Forth International Symposium, NFM 2012, Norfolk, VA USA, April 3-5, 2012. Proceedings
"own"
Eric Feron
Eric Feron
Professor at KAUST (on leave from Georgia Tech)

Related