„Program verification“

Suchergebnisse

1.065 Treffer

• Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371)
  Blanchette, Jasmin Christian ; Fuhs, Carsten ; Sofronie-Stokkermans, Viorica ; Tinelli, Cesare
• Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)
  Alglave, Jade ; Cousot, Patrick ; Urban, Caterina
• Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)
  Dolby, Julian ; Grumberg, Orna ; Müller, Peter ; Tripp, Omer
• Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)
  Gaboardi, Marco ; Jagannathan, Suresh ; Jhala, Ranjit ; Weirich, Stephanie
• Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491)
  Filieri, Antonio ; Kwiatkowska, Marta ; Misailovic, Sasa ; Mytkowicz, Todd
• Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381)
  Bjorner, Nikolaj S. ; Blanchette, Jasmin Christian ; Sofronie-Stokkermans, Viorica ; Weidenbach, Christoph
• Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)
  Birkedal, Lars ; Dreyer, Derek ; Gardner, Philippa ; Shao, Zhong
• Formal Foundations for Networking (Dagstuhl Seminar 15071)
  Bjorner, Nikolaj ; Foster, Nate ; Godfrey, Philip Brighten ; Zave, Pamela
• Synchronous Programming (Dagstuhl Seminar 13471)
  Edwards, Stephen A. ; Girault, Alain ; Schneider, Klaus
• Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)
  Cohen, Albert ; Donaldson, Alastair F. ; Huisman, Marieke ; Katoen, Joost-Pieter
• Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)
  Borba, Paulo ; Cohen, Myra B. ; Legay, Axel ; Wasowski, Andrzej
• Software Synthesis (Dagstuhl Seminar 12152)
  Bodík, Rastislav ; Gulwani, Sumit ; Yahav, Eran
• Foundations for Scripting Languages (Dagstuhl Seminar 12011)
  Hirschfeld, Robert ; Krishnamurthi, Shriram ; Vitek, Jan
• A Framework for Belief-based Programs and Their Verification
  Liu, Daxin ; Lakemeyer, Gerhard 2025 Universitätsbibliothek der RWTH Aachen
• Requirement Patterns in Deductive Verification of poST Programs
  Chernenko, I. M. ; Anureev, I. S. ; Garanina, N. O.
• LTL-Specification for Development and Verification of Control Programs
  Neyzov, M. V. ; Kuzmin, E. V.
• Comprehensive exploration of programmed cell death landscape in lung adenocarcinoma combining multi-omic analysis and experimental verification
  Yu, Peng ; Xiao, Leyang ; Hu, Kaibo ; Ling, Jitao ; Chen, Yixuan ; Liang, Ruiqi ; Liu, Xinyu ; Zhang, Deju ; Liu, Yuzhen ; Weng, Tongchun ; Jiang, Hongfa ; Zhang, Jing ; Wang, Wuming
• Beschreibung und Verifikation räumlicher und zeitlicher Eigenschaften mobiler Systeme Specification and Verification of Spatio-Temporal Properties of Mobile Systems
  Schäfer, Andreas
• Analysing Java's safety guarantees under concurrency
  Lochbihler, Andreas
• Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  Draheim, Dirk 2017 Springer Berlin