„Programmverifikation“

Suchergebnisse

470 Treffer

• Program verification in synthetic domain theory
  Reus, Bernhard 1996 Shaker
• Analysis and verification of multiple agent languages – selected papers
  Dam, Mads 1997 Springer
• Modular compiler verification – a refinement algebraic approach advocating stepwise abstraction
  Müller-Olm, Markus 1997 Springer
• Programmverifikation
  1986 Fernuniv.
• Verification of modal properties using Boolean equation systems
  Mader, Angelika 1997 Bertz
• Programmverifikation
  1986 Fernuniv.
• Intelligent formal methods – Combining deductive and inductive reasoning to build reliable systems
  Neider, Daniel 2022 Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Verification of sequential and concurrent programs
  Apt, Krzysztof R. ; Olderog, Ernst-Rüdiger 1997 Springer
• Programmverifikation
  1986 Fernuniv.
• Automated Reasoning under Weak Memory Consistency
  Kokologiannakis, Michail ; Vafeiadis, Viktor 2024 Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Model checking pushdown systems
  Schwoon, Stefan
• Verification of Erlang programs using abstract interpretation and model checking
  Huch, Frank Günter
• Programmverifikation
  1986 Fernuniv.
• Eine Methode zur Verifikation von Prädikat/Transitions-Netzen und ihr Vergleich mit dem Hoare-Kalkül zur Programmverifikation
  Schübel, Thomas
• A natural-deduction-like calculus for structured specifications
  Peterreins, Hannes
• Refinements in HOLCF: implementation of interactive systems
  Slotosch, Oscar 1997 Kovač
• Visual logic – a Visual Source Code Animation System for teaching computer science at school
  Wang, Jie-Ming Jimmy
• Induction on non-freely generated data types
  Sengler, Claus 1997 Infix
• Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen
  Kremer, Marion 1996 Kovač
• Programmverifikation
  1986 Fernuniv.