Login / Signup

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

Heber Herencia-ZapanaRomain JobredeauxSam OwrePierre-Loïc GarocheEric FeronGilberto PérezPablo Ascariz
Published in: NASA Formal Methods (2012)
Keyphrases
  • linear algebra
  • control software
  • image processing
  • singular value decomposition
  • sparse matrices
  • model checking
  • formal verification