„Program Verification“

Suchergebnisse

1.065 Treffer

• Planning and Verification in the agent language Golog
  Claßen, Jens
• La modernisation du cadre budgétaire des pays de l'UEMOA – Un modèle budgétaire africain
  Zoure, Daouda 2013 Presses Académiques Francophones
• Verification, model checking, and abstract interpretation – 15th international conference ; proceedings
  McMillan, Kenneth L. ; Rival, Xavier 2014 Springer
• A property checking methodology for weakly programmable system-on-chip IPs – = Eine Methode zur Eigenschaftsprüfung von schwach programmierbaren System-on-Chip IPs
  Loitz, Sacha 2014 Shaker
• La modernisation du cadre budgétaire des pays de l'UEMOA – Un modèle budgétaire africain
  Zoure, Daouda 2013 Presses Académiques Francophones
• Verification, model checking, and abstract interpretation – third international workshop ; revised papers
  Cortesi, Agostino 2002 Springer
• Theoretical aspects of computing – 10th international colloquium ; proceedings
  Liu, Zhiming ; Woodcock, Jim ; Zhu, Huibiao 2013 Springer
• Model-driven dependability assessment of software systems
  Bernardi, Simona ; Merseguer, José ; Petriu, Dorina C. 2013 Springer
• Modular specification and verification of object oriented programs
  Müller, Peter 2002 Springer
• High performance simulation of attitude and translation dynamics – application and verification with gravity probe B
  Pelivan, Ivanka 2013 Cuvillier
• Verification of business rules programs
  Berstel-Da Silva, Bruno 2014 Springer
• Symbolic execution of distributed systems
  Sasnauskas, Raimondas 2013 Shaker
• 13th International Workshop on Worst-Case Execution Time Analysis (WCET 2013)
  Maiza, Claire 2013 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Change detection with high-resolution satellite imagery in support of verification and crisis prevention: nuclear applications
  Canty, M. J. 2001 Forschungszentrum, Zentralbibliothek
• Systems and software verification – model checking techniques and tools
  Bérard, Béatrice 2001 Springer
• NASA formal methods – 5th international symposium ; proceedings
  Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud 2013 Springer
• Aliasing in Object-Oriented Programming. Types, Analysis and Verification
  Clarke, Dave ; Wrigstad, Tobias ; Noble, James 2013 Springer Berlin Heidelberg
• Declarative agent languages and technologies X – 10th international workshop ; revised selected papers
  Baldoni, Matteo ; Dennis, Louise ; Mascardi, Viviana ; Vasconcelos, Wamberto 2013 Springer
• Systems and Software Verification – Model-Checking Techniques and Tools
  Bérard, Béatrice 2001 Springer Berlin Heidelberg
• Verification and validation of logic control safety applications – Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
  Soliman, Doaa 2013 Shaker