NASA PVS

The NASA PVS Library is a collection of formal developments in PVS maintained by the NASA Langley Formal Methods Team and is part of the PVS research sponsored by NASA Langley. The current version of the library is available from GitHub

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 10 articles )

Showing results 1 to 10 of 10.
Sorted by year (citations)

  1. Avelar da Silva, Andréia B.; de Lima, Thaynara Arielly; Galdino, André Luiz: Formalizing ring theory in PVS (2018)
  2. Moscato, Mariano M.; Lopez Pombo, Carlos G.; Muñoz, César A.; Feliú, Marco A.: Boosting the reuse of formal specifications (2018)
  3. Rocha-Oliveira, Ana Cristina; Galdino, André Luiz; Ayala-Rincón, Mauricio: Confluence of orthogonal term rewriting systems in the prototype verification system (2017)
  4. Kovásznai, Gergely; Fröhlich, Andreas; Biere, Armin: Complexity of fixed-size bit-vector logics (2016)
  5. Noschinski, Lars: A graph library for Isabelle (2015)
  6. Hidalgo-Doblado, M. J.; Alonso-Jiménez, J. A.; Borrego-Díaz, J.; Martín-Mateos, F. J.; Ruiz-Reina, J. L.: Formally verified tableau-based reasoners for a description logic (2014)
  7. Chandy, K. Mani; Go, Brian; Mitra, Sayan; Pilotto, Concetta; White, Jerome: Verification of distributed systems with local-global predicates (2011)
  8. Dawson, Jeremy: Isabelle theories for machine words (2009) ioport
  9. Mitra, Sayan; Chandy, K. Mani: A formalized theory for verifying stability and convergence of automata in PVS (2008)
  10. Beyer, Sven; Jacobi, Christian; Kröning, Daniel; Leinenbach, Dirk; Paul, Wolfgang J.: Putting it all together-formal verification of the VAMP (2006) ioport