„program verification“

Suchergebnisse

1.000+ Treffer

• Parallelized and distributed task based ontology matching in clustering environment with semantic verification
  Mittra, Tanni ; Ali, Muhammad Masroor
• LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact)
  Haas, Julian ; Mogk, Ragnar ; Yanakieva, Elena ; Bieniusa, Annette ; Mezini, Mira
• On the Automated Verification of Web Applications with Embedded SQL
  Itzhaky, Shachar ; Kotek, Tomer ; Rinetzky, Noam ; Sagiv, Mooly ; Tamir, Orr ; Veith, Helmut ; Zuleger, Florian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
  Bartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zălinescu, Eugen ; Zhang, Yi
• Guest editors’ introduction: Advancements and extensions of verification techniques
  Katoen, Joost-Pieter ; Stevens, Perdita
• LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract)
  Haas, Julian ; Mogk, Ragnar ; Yanakieva, Elena ; Bieniusa, Annette ; Mezini, Mira 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness
  Ramadan, Qusai ; Konersmann, Marco ; Ahmadian, Amirshayan ; Jürjens, Jan ; Staab, Steffen
• Software Engineering and Formal Methods – 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
  Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario 2014 Springer International Publishing
• Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)
  Beyer, Dirk ; Huisman, Marieke ; Klebanov, Vladimir ; Monahan, Rosemary
• Verification of parametric concurrent systems with prioritised FIFO resource management
  Bouajjani, Ahmed ; Habermehl, Peter ; Vojnar, Tomáš
• Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)
  Gay, Simon ; Vasconcelos, Vasco T. ; Wadler, Philip ; Yoshida, Nobuko
• Formal Verification in Automated Manufacturing
  Tang, Yiheng ; Moor, Thomas ; Raisch, Jörg 2024 FAU University Press
• Relatively complete verification of probabilistic programs – an expressive language for expectation-based reasoning
  Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph 2021 Universitätsbibliothek der RWTH Aachen
• A formal verification environment for use in the certification of safety-related C-programs
  Walter, Dennis
• Theorems from compiler verification – a problem set for automated theorem provers
  Schellhorn, Gerhard ; Reif, Wolfgang 1998 Univ., Fak. für Informatik
• Using transformations and verification in circuit design
  Saxe, James B. ; Horning, James J. ; Guttag, John ; Garland, Stephen J.
• Dependable Software Engineering. Theories, Tools, and Applications – Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
  Larsen, Kim Guldstrand ; Sokolsky, Oleg ; Wang, Ji 2017 Springer International Publishing
• Engineering Reliable Multiagent Systems (Dagstuhl Seminar 19112)
  Dix, Jürgen ; Logan, Brian ; Winikoff, Michael
• Inductive Predicate Synthesis Modulo Programs
  Wesley, Scott ; Christakis, Maria ; Navas, Jorge A. ; Trefler, Richard ; Wüstholz, Valentin ; Gurfinkel, Arie 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• End-To-End Formal Verification of a Fast and Accurate Floating-Point Approximation
  Faissole, Florian ; Geneau de Lamarlière, Paul ; Melquiond, Guillaume 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik