„deductive verification“

Suchergebnisse

1.000+ Treffer

• Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)
  Beyer, Dirk ; Huisman, Marieke ; Klebanov, Vladimir ; Monahan, Rosemary
• Information Exchange in Software Verification (Dagstuhl Seminar 25172)
  Beyer, Dirk ; Huisman, Marieke ; Strejček, Jan ; Wehrheim, Heike
• Numerical MMATh Verified essential algorithms for solving differential equations
  Hölle, Stefan 2019 KOPS Universität Konstanz
• User Interaction in Deductive Interactive Program Verification
  Grebing, Sarah ; Beckert, B. 2019 KIT-Bibliothek
• Automated deductive verification of probabilistic programs
  Batz, Kevin ; Katoen, Joost-Pieter ; Hasuo, Ichiro 2024 Universitätsbibliothek der RWTH Aachen
• Deductive verification of object-oriented software – dynamic frames, dynamic logic and predicate abstraction
  Weiß, Benjamin ; Schmitt, P. H. 2011 KIT Scientific Publishing
• Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java
  Grahl, Daniel ; Beckert, B. 2015 KIT-Bibliothek
• Advancing Deductive Program-Level Verification for Real-World Application: Lessons Learned from an Industrial Case Study
  Bormer, Thorsten ; Beckert, B. 2014 KIT-Bibliothek
• Program-level Specification and Deductive Verification of Security Properties
  Scheben, Christoph ; Schmitt, P. H. 2014 KIT-Bibliothek
• Extending the reach and power of deductive program verification
  Klebanov, Vladimir
• Deductive verification of safety-critical Java programs
  Engel, Christian
• Verification, Model Checking, and Abstract Interpretation – 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
  Jhala, Ranjit ; Schmidt, David 2005 Springer Berlin Heidelberg
• Effective quantifier-based reasoning for quantitative deductive verification
  Beothy-Elo, Emil ; Schroer, Philipp ; Haase, Darion ; Katoen, Joost-Pieter ; Noll, Thomas 2025 Universitätsbibliothek der RWTH Aachen
• Schematic Program Proofs with Abstract Execution: Theory and Applications
  Steinhöfel, Dominic ; Hähnle, Reiner 2025 Universitäts- und Landesbibliothek
• Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
  Batz, Kevin ; Katoen, Joost-Pieter ; Randone, Francesca ; Winkler, Tobias 2025 Universitätsbibliothek der RWTH Aachen
• ByteSpector: A Verifying Disassembler for EVM Bytecode
  Cassez, Franck 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Deductive Verification of Smart Contracts (Invited Talk)
  Cassez, Franck 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Applied Deductive Verification (Dagstuhl Seminar 03451)
  Basin, David ; Ganzinger, Harald ; Harrison, John R. ; Pnueli, Amir 2003 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Proof and Analysis of an Incremental Cycle Detection Algorithm
  Guéneau, Armaël ; Jourdan, Jacques-Henri ; Charguéraud, Arthur ; Pottier, François 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synchronizing the Asynchronous
  Kragl, Bernhard ; Qadeer, Shaz ; Henzinger, Thomas A. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik