Translation of "Programmverifikation" in English
Im
zweiten
Teil
des
Kurses
werden
Aspekte
der
Programmverifikation
betrachtet.
The
second
part
addresses
ideas
around
software
verification.
ParaCrawl v7.1
Floyd
erhielt
1978
den
Turing
Award
für
seinen
Einfluss
auf
die
Methoden
zur
Erzeugung
effizienter
und
verlässlicher
Software
und
für
seinen
Beitrag
zur
Gründung
der
folgenden
Gebiete
der
Informatik:
Theorie
des
Parsens,
Semantik
von
Programmiersprachen,
automatische
Programmverifikation,
automatische
Programmsynthese
und
Analyse
von
Algorithmen.
He
received
the
Turing
Award
in
1978
"for
having
a
clear
influence
on
methodologies
for
the
creation
of
efficient
and
reliable
software,
and
for
helping
to
found
the
following
important
subfields
of
computer
science:
the
theory
of
parsing,
the
semantics
of
programming
languages,
automatic
program
verification,
automatic
program
synthesis,
and
analysis
of
algorithms".
Wikipedia v1.0
Zudem
lassen
sich
auch
Konzepte
wie
Boole'sche
Aussagenlogik
und
Programmverifikation
(Pre-Conditions,
Invarianten
etc.)
aufzeigen.
It
also
illustrates
concepts
such
as
Boole'an
logic
and
program
verification
(pre-
and
post-conditions,
invariants
etc.).
ParaCrawl v7.1