References in zbMATH (referenced in 63 articles )

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

1 2 3 4 next

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

1 2 3 4 next