„Program verification“

Suchergebnisse

1.065 Treffer

• Numerical Software Verification – 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
  Abate, Alessandro ; Boldo, Sylvie 2017 Springer International Publishing
• Numerical Software Verification – 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
  Bogomolov, Sergiy ; Martel, Matthieu ; Prabhakar, Pavithra 2017 Springer Berlin Heidelberg
• Verification, Model Checking, and Abstract Interpretation – 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
  Bouajjani, Ahmed ; Monniaux, David 2017 Springer Berlin Heidelberg
• DIN EN 9247, Aerospace series - programme management - verification and validation of numerical models and simulations – = Luft- und Raumfahrt - Programm-Management - Überprüfung und Validierung von numerischen Modellen und Simulationen
  2025 DIN Media GmbH
• Theory and Practice of Formal Methods – Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
  Ábrahám, Erika ; Johnsen, Einar Broch ; Bonsangue, Marcello M. 2016 Springer International Publishing
• Verification of Sequential and Concurrent Programs
  2009 Springer London
• Workshop on Trustworthy Software
  Autexier, Serge ; Merz, Stephan ; Torre, Leendert ˜van derœ ; Wilhelm, Reinhard ; Wolper, Pierre 2006 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• NetChecker: enabling real-time and error-locatable runtime verification for programmable networks
  Yao, Ying ; Tian, Le ; Hu, Yuxiang
• Abstracts Collection -- Workshop Trustworthy Software 2006
  Autexier, Serge ; Merz, Stephan ; van der Torre, Leon ; Wilhelm, Reinhard ; Wolper, Pierre 2006 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Qafny: A Quantum-Program Verifier (Artifact)
  Li, Liyi ; Zhu, Mingwei ; Cleaveland, Rance ; Nicolellis, Alexander ; Lee, Yi ; Chang, Le ; Wu, Xiaodi
• Qafny: A Quantum-Program Verifier
  Li, Liyi ; Zhu, Mingwei ; Cleaveland, Rance ; Nicolellis, Alexander ; Lee, Yi ; Chang, Le ; Wu, Xiaodi 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Static Detection of Software Errors – Precise and Scalable Algorithms for Automatic Detection of Software Errors
  Xie, Yichen 2012 AV Akademikerverlag
• Verification, validation, and evaluation of modeling methods: experiences and recommendations
  Ralyté, Jolita ; Koutsopoulos, Georgios ; Stirna, Janis
• Information and Communication Technologies in Education, Research, and Industrial Applications – 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
  Bassiliades, Nick ; Ermolayev, Vadim ; Fill, Hans-Georg ; Yakovyna, Vitaliy ; Mayr, Heinrich Christian ; Nikitchenko, Mykola ; Zholtkevych, Grygoriy ; Spivakovsky, Aleksander 2018 Springer International Publishing
• Computer Aided Verification – 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
  2017 Springer International Publishing
• Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext
  Winterer, Leonore ; Junges, Sebastian ; Wimmer, Ralf ; Jansen, Nils ; Topcu, Ufuk ; Katoen, Joost-Pieter ; Becker, Bernd 2018 Universitätsbibliothek Tübingen
• On the Send-Synchronizability Problem for Mailbox Communication
  Delpy, Romain ; Muscholl, Anca ; Sutre, Grégoire 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model Checking as Program Verification by Abstract Interpretation
  Baldan, Paolo ; Bruni, Roberto ; Ranzato, Francesco ; Rigo, Diletta 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Business Rules Programs
  2014 Springer Berlin Heidelberg
• Operational Semantics and Verification of Security Protocols
  Cremers, Cas ; Mauw, Sjouke 2012 Springer Berlin