References in zbMATH (referenced in 149 articles , 1 standard article )

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

1 2 3 ... 6 7 8 next

  1. Avigad, Jeremy; Lewis, Robert Y.; Roux, Cody: A heuristic prover for real inequalities (2016)
  2. Cano, Guillaume; Cohen, Cyril; Dénès, Maxime; Mörtberg, Anders; Siles, Vincent: Formalized linear algebra over elementary divisor rings in Coq (2016)
  3. Zhang, Nan; Yang, Mengfei; Gu, Bin; Duan, Zhenhua; Tian, Cong: Verifying safety critical task scheduling systems in PPTL axiom system (2016)
  4. Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume: Coquelicot: A user-friendly library of real analysis for Coq (2015)
  5. Davis, Jared; Myreen, Magnus O.: The reflective Milawa theorem prover is sound (down to the machine code that runs it) (2015)
  6. Heras, Jónathan; Martín-Mateos, Francisco Jesús; Pascual, Vico: Modelling algebraic structures and morphisms in ACL2 (2015)
  7. Groce, Alex; Havelund, Klaus; Holzmann, Gerard; Joshi, Rajeev; Xu, Ru-Gang: Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (2014)
  8. Kaufmann, Matt; Moore, J Strother: Rough diamond: an extension of equivalence-based rewriting (2014)
  9. Lambán, L.; Rubio, J.; Martín-Mateos, F.J.; Ruiz-Reina, J.L.: Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm (2014)
  10. Moore, J Strother: Proof pearl: proving a simple von Neumann machine Turing complete (2014)
  11. Myreen, Magnus O.; Davis, Jared: The reflective milawa theorem prover is sound (down to the machine code that runs it) (2014)
  12. Omodeo, Eugenio G.; Tomescu, Alexandru I.: Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets (2014)
  13. Puri, Disha; Ray, Sandip; Hao, Kecheng; Xie, Fei: Mechanical certification of loop pipelining transformations: a preview (2014)
  14. Zhang, Nan; Duan, Zhenhua; Tian, Cong: An axiomatization for cylinder computation model (2014)
  15. Abed, Sa’ed; Mohamed, Otmane Ait; Al Sammane, Ghiath: Automatic verification of reduction techniques in higher order logic (2013)
  16. Boldo, Sylvie; Clément, François; Filli^atre, Jean-Christophe; Mayero, Micaela; Melquiond, Guillaume; Weis, Pierre: Wave equation numerical resolution: a comprehensive mechanized proof of a C program (2013)
  17. de Moura, Leonardo; Passmore, Grant Olney: Computation in real closed infinitesimal and transcendental extensions of the rationals (2013)
  18. Heras, Jónathan; Komendantskaya, Ekaterina; Johansson, Moa; Maclean, Ewen: Proof-pattern recognition and lemma discovery in ACL2 (2013)
  19. Heras, Jónathan; Mata, Gadea; Romero, Ana; Rubio, Julio; Sáenz, Rubén: Verifying a plaftorm for digital imaging: a multi-tool strategy (2013)
  20. Heule, Marijn J.H.; Hunt, Warren A. jun.; Wetzler, Nathan: Verifying refutations with extended resolution (2013)

1 2 3 ... 6 7 8 next