References in zbMATH (referenced in 59 articles )

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

1 2 3 next

  1. Totla, Nishant; Wies, Thomas: Complete instantiation-based interpolation (2016)
  2. Kirchner, Florent; Kosmatov, Nikolai; Prevosto, Virgile; Signoles, Julien; Yakobowski, Boris: Frama-C: a software analysis perspective (2015) ioport
  3. Alkassar, Eyad; Böhme, Sascha; Mehlhorn, Kurt; Rizkallah, Christine: A framework for the verification of certifying computations (2014)
  4. Betelin, V.; Galatenko, V.; Kostyukhin, K.: Controlled execution with explicit model (2014) ioport
  5. Boldo, Sylvie; Clément, François; Filli^atre, Jean-Christophe; Mayero, Micaela; Melquiond, Guillaume; Weis, Pierre: Trusting computations: a mechanized proof from partial differential equations to actual program (2014)
  6. de Boer, Frank S.; de Gouw, Stijn: Combining monitoring with run-time assertion checking (2014)
  7. Kaliszyk, Cezary; Urban, Josef: Learning-assisted automated reasoning with $\mathsfFlyspeck$ (2014)
  8. Almeida, J. Bacelar; Barbosa, Manuel; Pinto, Jorge S.; Vieira, Bárbara: Formal verification of side-channel countermeasures using self-composition (2013)
  9. 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)
  10. Ahrendt, Wolfgang; Dylla, Maximilian: A system for compositional verification of asynchronous objects (2012)
  11. Brumley, Billy B.; Barbosa, Manuel; Page, Dan; Vercauteren, Frederik: Practical realisation and elimination of an ECC-related software bug attack (2012)
  12. Christakis, Maria; Müller, Peter; Wüstholz, Valentin: Collaborative verification and testing with explicit assumptions (2012)
  13. Leino, K. Rustan M.: Automating induction with an SMT solver (2012)
  14. Pulina, Luca; Tacchella, Armando: Challenging SMT solvers to verify neural networks (2012)
  15. Backes, Michael; Hriţcu, Cătălin; Tarrach, Thorsten: Automatically verifying typing constraints for a data processing language (2011) ioport
  16. Boldo, Sylvie; Marché, Claude: Formal verification of numerical programs: from C annotated programs to mechanical proofs (2011)
  17. Bubel, Richard; Hähnle, Reiner; Geilmann, Ulrich: A formalisation of Java strings for program specification and verification (2011) ioport
  18. Dross, Claire; Filli^atre, Jean-Christophe; Moy, Yannick: Correct code containing containers (2011)
  19. Fähndrich, Manuel; Logozzo, Francesco: Static contract checking with abstract interpretation (2011)
  20. Frade, Maria João; Pinto, Jorge Sousa: Verification conditions for source-level imperative programs (2011)

1 2 3 next