„Programmverifikation“

Suchergebnisse

470 Treffer

• Verification, model checking, and abstract interpretation – 6th international conference ; proceedings
  Cousot, Radhia 2005 Springer
• Modellierung und Simulation von Testautomaten für integrierte Schaltungen
  Grams, Harald 2004 Cuvillier
• Static analysis – 11th international symposium ; proceedings
  Giacobazzi, Roberto 2004 Springer
• Tools and algorithms for the construction and analysis of systems – 20th international conference ; proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer
• Programming languages and systems – proceedings
  Shao, Zhong 2014 Springer
• Planning and Verification in the agent language Golog
  Claßen, Jens
• Verifikation regelbasierter Konfigurationssysteme
  Sinz, Carsten
• Verified software – theories, tools, experiments : 5th international conference ; revised selected papers
  Cohen, Ernie ; Rybalchenko, Andrey 2014 Springer
• Constructing correct software
  Cooke, John 2005 Springer
• Konstruktion verifizierender Übersetzer mit Programmprüfung
  Gaul, Thilo S. 2004 Conzema AG
• Perspectives of system informatics – revised papers
  Broy, Manfred 2003 Springer
• Interactive theorem proving and program development – Coq'Art: the calculus of inductive constructions
  Bertot, Yves ; Castéran, Pierre 2004 Springer
• 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
• Programming languages and systems – first Asian symposium
  Ohori, Atsushi 2003 Springer
• Formal methods and software engineering – proceedings
  Groves, Lindsay 2013 Springer
• Static analysis – 9th international symposium ; proceedings
  Hermenegildo, Manuel 2002 Springer
• Applied semantics – international summer school ; advanced lectures
  Barthe, Gilles 2002 Springer
• Verification, model checking, and abstract interpretation – third international workshop ; revised papers
  Cortesi, Agostino 2002 Springer
• Model checking software – proceedings
  Bošnački, Dragan 2002 Springer