References in zbMATH (referenced in 51 articles )

Showing results 1 to 20 of 51.
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)
  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)
  5. Kaliszyk, Cezary; Urban, Josef: Learning-assisted automated reasoning with $\mathsfFlyspeck$ (2014)
  6. Almeida, J.Bacelar; Barbosa, Manuel; Pinto, Jorge S.; Vieira, Bárbara: Formal verification of side-channel countermeasures using self-composition (2013)
  7. 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)
  8. Ahrendt, Wolfgang; Dylla, Maximilian: A system for compositional verification of asynchronous objects (2012)
  9. Brumley, Billy B.; Barbosa, Manuel; Page, Dan; Vercauteren, Frederik: Practical realisation and elimination of an ECC-related software bug attack (2012)
  10. Christakis, Maria; Müller, Peter; Wüstholz, Valentin: Collaborative verification and testing with explicit assumptions (2012)
  11. Pulina, Luca; Tacchella, Armando: Challenging SMT solvers to verify neural networks (2012)
  12. Backes, Michael; Hriţcu, Cătălin; Tarrach, Thorsten: Automatically verifying typing constraints for a data processing language (2011)
  13. Boldo, Sylvie; Marché, Claude: Formal verification of numerical programs: from C annotated programs to mechanical proofs (2011)
  14. Bubel, Richard; Hähnle, Reiner; Geilmann, Ulrich: A formalisation of Java strings for program specification and verification (2011)
  15. Fähndrich, Manuel; Logozzo, Francesco: Static contract checking with abstract interpretation (2011)
  16. Frade, Maria João; Pinto, Jorge Sousa: Verification conditions for source-level imperative programs (2011)
  17. Giorgino, Mathieu; Strecker, Martin; Matthes, Ralph; Pantel, Marc: Verification of the Schorr-Waite algorithm -- from trees to graphs (2011)
  18. Le Goues, Claire; Leino, K.Rustan M.; Moskal, Michał: The Boogie verification debugger (tool paper) (2011)
  19. Logozzo, Francesco: Practical verification for the working programmer with codecontracts and abstract interpretation (invited talk) (2011)
  20. Lynch, Christopher; Ranise, Silvio; Ringeissen, Christophe; Tran, Duc-Khanh: Automatic decidability and combinability (2011)

1 2 3 next