„Program verification“

Suchergebnisse

1.065 Treffer

• Programming Language Abstractions for Modularly Verified Distributed Systems
  Wilcox, James R. ; Sergey, Ilya ; Tatlock, Zachary 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Programming Language Tools and Techniques for 3D Printing
  Nandi, Chandrakana ; Caspi, Anat ; Grossman, Dan ; Tatlock, Zachary 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems
  Kuraj, Ivan ; Solar-Lezama, Armando 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• WNetKAT: A Weighted SDN Programming and Verification Language
  Larsen, Kim G. ; Schmid, Stefan ; Xue, Bingtian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Pi-Ware: Hardware Description and Verification in Agda
  Pizani Flor, João Paulo ; Swierstra, Wouter ; Sijsling, Yorick 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verified Analysis of List Update Algorithms
  Haslbeck, Maximilian P. L. ; Nipkow, Tobias 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Simple Invariants for Proving the Safety of Distributed Protocols (Invited Talk)
  Sagiv, Mooly 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proving Correctness of Logically Decorated Graph Rewriting Systems
  Brenas, Jon Haël ; Echahed, Rachid ; Strecker, Martin 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verified Analysis of Functional Data Structures
  Nipkow, Tobias 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference
  Song, Fu ; Miao, Weikai ; Pu, Geguang ; Zhang, Min 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modular Termination Verification
  Jacobs, Bart ; Bosnacki, Dragan ; Kuiper, Ruurd 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modular Verification of Finite Blocking in Non-terminating Programs
  Boström, Pontus ; Müller, Peter 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Software Verification "Across the Stack" (Invited Talk)
  Summers, Alexander J. 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Matching Logic - Extended Abstract (Invited Talk)
  Rosu, Grigore 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Need for Language Support for Fault-Tolerant Distributed Systems
  Dragoi, Cezara ; Henzinger, Thomas A. ; Zufferey, Damien 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis
  Cheung, Alvin ; Kamil, Shoaib ; Solar-Lezama, Armando 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Summary-Based Inter-Procedural Analysis via Modular Trace Refinement
  Cassez, Franck ; Müller, Christian ; Burnett, Karla 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Playing Safe
  Colcombet, Thomas ; Fijalkow, Nathanael ; Horn, Florian 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reasoning About Distributed Systems: WYSIWYG (Invited Talk)
  Cyriac, Aiswarya ; Gastin, Paul 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Extracting Imperative Programs from Proofs: In-place Quicksort
  Berger, Ulrich ; Seisenberger, Monika ; Woods, Gregory J. M. 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik