PVS linear algebra libraries for verification of control software algorithms in C/ACSL

  1. Herencia-Zapana, H.
  2. Jobredeaux, R.
  3. Owre, S.
  4. Garoche, P.-L.
  5. Feron, E.
  6. Perez, G.
  7. Ascariz, P.
Book Series:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743,  1611-3349

ISBN: 9783642288906

Year of publication: 2012

Volume: 7226 LNCS

Pages: 147-161

Type: Conference paper

DOI: 10.1007/978-3-642-28891-3_15 GOOGLE SCHOLAR

Sustainable development goals

Data source: Scopus