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 Feron, Gilberto Perez, Pablo Ascariz

Research output: Chapter in Book/Report/Conference proceedingConference contribution

26 Scopus citations

Fingerprint Dive into the research topics of 'PVS linear algebra libraries for verification of control software algorithms in C/ACSL'. Together they form a unique fingerprint.

Engineering & Materials Science