„Program Verification“

Suchergebnisse

1.065 Treffer

• Program Invariants (Invited Talk)
  Ouaknine, Joël 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Matching mu-Logic: Foundation of K Framework (Invited Paper)
  Chen, Xiaohong ; Roşu, Grigore 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk)
  Silva, Alexandra 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Verification vs. Quantum Uncertainty
  Rand, Robert ; Hietala, Kesha ; Hicks, Michael 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Transferring Obligations Through Synchronizations
  Hamin, Jafar ; Jacobs, Bart 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lifestate: Event-Driven Protocols and Callback Control Flow
  Meier, Shawn ; Mover, Sergio ; Chang, Bor-Yuh Evan 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Termination of Linear Loops over the Integers (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Hosseini, Mehran ; Ouaknine, Joël ; Worrell, James 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Complexity of Value Iteration (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Balaji, Nikhil ; Kiefer, Stefan ; Novotný, Petr ; Pérez, Guillermo A. ; Shirmohammadi, Mahsa 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Martin Hofmann’s Case for Non-Strictly Positive Data Types
  Berger, Ulrich ; Matthes, Ralph ; Setzer, Anton 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Timed Asynchronous Programs
  Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Krishna, Shankara Narayanan ; Vaidya, Shaan 2018 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
• Verifying Quantitative Temporal Properties of Procedural Programs
  Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Narayan Kumar, K. ; Saivasan, Prakash 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk)
  Polyakov, Andy ; Tsai, Ming-Hsien ; Wang, Bow-Yaw ; Yang, Bo-Yin 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk)
  Rosu, Grigore 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of randomized consensus algorithms under round-rigid adversaries
  Bertrand, Nathalie ; Konnov, Igor ; Lazić, Marijana ; Widder, Josef
• PML2: Integrated Program Verification in ML
  Lepigre, Rodolphe 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Coq Support in HAHA
  Chrzaszcz, Jacek ; Schubert, Aleksy ; Zakrzewski, Jakub 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Asynchronous Programs with Nested Locks
  Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Narayan Kumar, K. ; Saivasan, Prakash 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Type Systems for the Relational Verification of Higher Order Programs (Invited Talk)
  Gaboardi, Marco 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Contracts in the Wild: A Study of Java Programs
  Dietrich, Jens ; Pearce, David J. ; Jezek, Kamil ; Brada, Premek 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik