„program verification“

Suchergebnisse

1.065 Treffer

• Towards neural-network-guided program synthesis and verification
  Kobayashi, Naoki ; Sekiyama, Taro ; Sato, Issei ; Unno, Hiroshi
• The Complexity of Quantitative Information Flow in Recursive Programs
  Chadha, Rohit ; Ummels, Michael 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automated Reasoning and Natural Proofs for Programs Manipulating Data Structures
  Parthasarathy, Madhusudan 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Using Answer Set Programming in the Development of Verified Software
  Schanda, Florian ; Brain, Martin 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
  Lopez-Garcia, Pedro ; Darmawan, Luthfi ; Bueno, Francisco 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Analyzing Asynchronous Programs with Preemption
  Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Touili, Tayssir 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Mechanized Formal Model of Bitcoin’s Blockchain Validation Procedures
  Rupić, Kristijan ; Rožić, Lovro ; Derek, Ante 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Improving Run-time Checking in Dynamic Languages
  Stulova, Nataliia 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Exercise Solution Check Specification Language for Interactive Programming Learning Environments
  Swacha, Jakub 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Foundations of WebAssembly (Dagstuhl Seminar 23101)
  Bhargavan, Karthikeyan ; Protzenko, Jonathan ; Rossberg, Andreas ; Stefan, Deian
• View Abstraction – A Tutorial (Invited Paper)
  Abdulla, Parosh A. ; Haziza, Fréderic ; Holík, Lukáš 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Predicate Abstraction in Program Verification: Survey and Current Trends
  Daniel, Jakub ; Parízek, Pavel 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Tool for the Certification of Sequential Function Chart based System Specifications
  Blech, Jan Olaf 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Dependable Software using SPARK and Isabelle
  Berghofer, Stefan 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Rewriting Systems over Nested Data Words
  Bouajjani, Ahmed ; Drăgoi, Cezara ; Jurski, Yan ; Sighireanu, Mihaela 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Shape Analysis of Sets
  Reineke, Jan 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431)
  Bjørner, Nikolaj S. ; Christakis, Maria ; Maffei, Matteo ; Rosu, Grigore
• Quantum Programming Languages (Dagstuhl Seminar 18381)
  Mosca, Michele ; Roetteler, Martin ; Selinger, Peter
• Program Equivalence (Dagstuhl Seminar 18151)
  Lahiri, Shuvendu K. ; Murawski, Andrzej ; Strichman, Ofer ; Ulbrich, Mattias
• Testing and Verification of Compilers (Dagstuhl Seminar 17502)
  Chen, Junjie ; Donaldson, Alastair F. ; Zeller, Andreas ; Zhang, Hongyu