German-English translation for "program correctness proof"

"program correctness proof" English translation

Did you mean Programm, Prof, …programm, Prof. or Uninstall-Programm?

proof marks

plural noun | Substantiv Plural spl

Overview of all translations

(For more details, click/tap on the translation)

  • Korrekturzeichenplural | Plural pl
    proof (correction) marks
    proof (correction) marks

proof

[pruːf]adjective | Adjektiv adj

Overview of all translations

(For more details, click/tap on the translation)

examples
  • proof against bullets
    kugelsicher, -fest
    proof against bullets
examples
  • unzugänglich
    proof inadmissible, unreceptive figurative(ly) | figurativ, in übertragenem Sinnfigespecially | besonders besonders literary | literarischliter
    proof inadmissible, unreceptive figurative(ly) | figurativ, in übertragenem Sinnfigespecially | besonders besonders literary | literarischliter
examples
  • proof against entreaties
    proof against entreaties
  • Probe…, Prüf…
    proof test
    proof test
examples
  • beständig
    proof reliable, constant
    proof reliable, constant
  • Korrektur(en)…
    proof BUCHDRUCK
    proof BUCHDRUCK
  • probehaltig, normalstark (alkoholische Flüssigkeit)
    proof chemistry | ChemieCHEM alcoholic fluid
    proof chemistry | ChemieCHEM alcoholic fluid
  • Feingoldor | oder od -silber betreffend, das die Münzämter der USA als Standard benutzen
    proof gold or silver American English | amerikanisches EnglischUS
    proof gold or silver American English | amerikanisches EnglischUS

  • Beweismasculine | Maskulinum m
    proof
    Nachweismasculine | Maskulinum m
    proof
    proof
examples
  • Normalstärkefeminine | Femininum f
    proof of alcoholic drink
    proof of alcoholic drink
examples
  • Beweismittelneuter | Neutrum nor | oder odplural | Plural pl, -grundmasculine | Maskulinum m, -gründeplural | Plural pl
    proof legal term, law | RechtswesenJUR evidence
    Beleg(eplural | Plural pl)masculine | Maskulinum m
    proof legal term, law | RechtswesenJUR evidence
    proof legal term, law | RechtswesenJUR evidence
examples
  • (Beweis-, Zeugen)Aussagefeminine | Femininum f
    proof legal term, law | RechtswesenJUR statement
    proof legal term, law | RechtswesenJUR statement
  • Probefeminine | Femininum f
    proof test
    Prüfungfeminine | Femininum f
    proof test
    proof test
examples
  • Stichhaltigkeitfeminine | Femininum f
    proof soundness, validity
    proof soundness, validity
examples
  • Korrekturfahnefeminine | Femininum f, -bogenmasculine | Maskulinum m
    proof BUCHDRUCK galley
    proof BUCHDRUCK galley
  • Probedruckmasculine | Maskulinum m, -abzugmasculine | Maskulinum m
    proof BUCHDRUCK
    proof BUCHDRUCK
examples
  • Probeabzugmasculine | Maskulinum m, -bildneuter | Neutrum n
    proof photography | FotografieFOTO
    proof photography | FotografieFOTO
  • Probeprägungfeminine | Femininum f
    proof of coin
    proof of coin
  • Reagenzglasneuter | Neutrum n
    proof chemistry | ChemieCHEM test tube
    proof chemistry | ChemieCHEM test tube
  • Prüfstellefeminine | Femininum f
    proof military term | Militär, militärischMIL for weaponset cetera, and so on | etc., und so weiter etc
    proof military term | Militär, militärischMIL for weaponset cetera, and so on | etc., und so weiter etc
  • die rohen unbeschnittenen Kanten der kürzeren Blätter eines beschnittenen Buches
    proof rare | seltenselten (in bookbinding)
    proof rare | seltenselten (in bookbinding)
  • Festigkeitfeminine | Femininum f
    proof rare | seltenselten (solidity) figurative(ly) | figurativ, in übertragenem Sinnfig
    Härtefeminine | Femininum f
    proof rare | seltenselten (solidity) figurative(ly) | figurativ, in übertragenem Sinnfig
    proof rare | seltenselten (solidity) figurative(ly) | figurativ, in übertragenem Sinnfig
  • Undurchdringlichkeitfeminine | Femininum f
    proof impenetrability obsolete | obsolet, begrifflich veraltetobs
    proof impenetrability obsolete | obsolet, begrifflich veraltetobs
examples
  • armo(u)r of proof
    undurchdringliche Rüstung
    armo(u)r of proof

proof

[pruːf]transitive verb | transitives Verb v/t

Overview of all translations

(For more details, click/tap on the translation)

  • (wasser-et cetera, and so on | etc., und so weiter etc) undurchlässig (or | oderod wasser-et cetera, and so on | etc., und so weiter etc) dicht machen
    proof make impervious
    proof make impervious

examples
  • abstellen, abschaffen
    correct remove, stop: mistakeset cetera, and so on | etc., und so weiter etc
    correct remove, stop: mistakeset cetera, and so on | etc., und so weiter etc
  • beheben
    correct military term | Militär, militärischMIL obstruction in weapon
    correct military term | Militär, militärischMIL obstruction in weapon
  • ausgleichen, neutralisieren
    correct especially | besondersbesonders medicine | MedizinMED neutralize
    correct especially | besondersbesonders medicine | MedizinMED neutralize
examples
  • redressieren, (wieder)einrichten
    correct in surgery
    correct in surgery
  • entzerren
    correct photography | FotografieFOTO
    correct photography | FotografieFOTO
  • bereinigen, regulieren, justieren
    correct mathematics mathematics | Mathematik MathematikMATH physics | PhysikPHYS
    correct mathematics mathematics | Mathematik MathematikMATH physics | PhysikPHYS
  • correct syn → see „amend
    correct syn → see „amend
  • correct → see „emend
    correct → see „emend
  • correct → see „rectify
    correct → see „rectify
  • correct → see „redress
    correct → see „redress
  • correct → see „reform
    correct → see „reform
  • correct → see „remedy
    correct → see „remedy
  • correct → see „revise
    correct → see „revise
  • correct syn → see „punish
    correct syn → see „punish
examples
  • correcting plate engineering | TechnikTECH in telescope
    Korrektionslinse
    correcting plate engineering | TechnikTECH in telescope

correct

[kəˈrekt]adjective | Adjektiv adj

Overview of all translations

(For more details, click/tap on the translation)

examples
  • to be correct of thing
    to be correct of thing
  • to be correct of person
    to be correct of person
  • that’s correct
    das stimmt, das ist richtig
    that’s correct
  • genau
    correct exact
    correct exact
examples
examples
  • it is the correct thing
    es gehört sich, es ist das Gegebene
    it is the correct thing
  • correct behavio(u)r
    korrektes Verhalten
    correct behavio(u)r

  • Korrektionfeminine | Femininum f
    correction putting right
    Verbesserungfeminine | Femininum f
    correction putting right
    Berichtigungfeminine | Femininum f
    correction putting right
    Richtigstellungfeminine | Femininum f
    correction putting right
    correction putting right
examples
  • Korrekturfeminine | Femininum f
    correction correction of mistake
    Fehlerverbesserungfeminine | Femininum f
    correction correction of mistake
    correction correction of mistake
examples
  • Zurechtweisungfeminine | Femininum f
    correction admonition
    Tadelmasculine | Maskulinum m
    correction admonition
    correction admonition
  • Strafefeminine | Femininum f
    correction punishment
    Züchtigungfeminine | Femininum f
    correction punishment
    correction punishment
  • Besserungfeminine | Femininum f
    correction legal term, law | RechtswesenJUR
    correction legal term, law | RechtswesenJUR
  • Besserungsanstaltfeminine | Femininum f
    correction legal term, law | RechtswesenJUR house of correction
    correction legal term, law | RechtswesenJUR house of correction
  • Korrektionfeminine | Femininum f
    correction physics | PhysikPHYS engineering | TechnikTECH
    Berichtigungfeminine | Femininum f
    correction physics | PhysikPHYS engineering | TechnikTECH
    Richtigstellungfeminine | Femininum f
    correction physics | PhysikPHYS engineering | TechnikTECH
    Beseitigungfeminine | Femininum f (einer Ladehemmung bei Feuerwaffen)
    correction physics | PhysikPHYS engineering | TechnikTECH
    correction physics | PhysikPHYS engineering | TechnikTECH
examples
  • Beschickungfeminine | Femininum f
    correction in radar
    correction in radar
  • Korrektionskoeffizientmasculine | Maskulinum m, -größefeminine | Femininum f
    correction mathematics mathematics | Mathematik MathematikMATH physics | PhysikPHYS correction coefficient
    Korrekturfaktormasculine | Maskulinum m
    correction mathematics mathematics | Mathematik MathematikMATH physics | PhysikPHYS correction coefficient
    correction mathematics mathematics | Mathematik MathematikMATH physics | PhysikPHYS correction coefficient
  • Korrekturfeminine | Femininum f
    correction chemistry | ChemieCHEM medicine | MedizinMED
    Ausgleichmasculine | Maskulinum m
    correction chemistry | ChemieCHEM medicine | MedizinMED
    correction chemistry | ChemieCHEM medicine | MedizinMED
  • Redressementneuter | Neutrum n
    correction in surgery
    Streckungfeminine | Femininum f
    correction in surgery
    correction in surgery
  • Abstellungfeminine | Femininum f
    correction stopping: of abuseet cetera, and so on | etc., und so weiter etc figurative(ly) | figurativ, in übertragenem Sinnfig
    correction stopping: of abuseet cetera, and so on | etc., und so weiter etc figurative(ly) | figurativ, in übertragenem Sinnfig

correctness

noun | Substantiv s

Overview of all translations

(For more details, click/tap on the translation)

  • Korrektheitfeminine | Femininum f
    correctness freedom from mistakes
    Richtigkeitfeminine | Femininum f
    correctness freedom from mistakes
    correctness freedom from mistakes
  • Genauigkeitfeminine | Femininum f
    correctness exactness
    correctness exactness

tutorial

[tjuːˈtɔːtiəl] American English | amerikanisches EnglischUSalso | auch a. [tuː-]adjective | Adjektiv adj

Overview of all translations

(For more details, click/tap on the translation)

  • Tutor…, Lehrer…
    tutorial school | SchulwesenSCHULE
    tutorial school | SchulwesenSCHULE

tutorial

[tjuːˈtɔːtiəl] American English | amerikanisches EnglischUSalso | auch a. [tuː-]noun | Substantiv s

Overview of all translations

(For more details, click/tap on the translation)

  • Tutoriumneuter | Neutrum n
    tutorial school | SchulwesenSCHULE
    (praktische) Übung
    tutorial school | SchulwesenSCHULE
    tutorial school | SchulwesenSCHULE
examples
  • also | aucha. tutorial program informatics, computer science | Informatik, Computer und InformationstechnologieIT
    also | aucha. tutorial program informatics, computer science | Informatik, Computer und InformationstechnologieIT

program

noun | Substantiv s, programme [ˈprougræm]especially | besonders besonders British English | britisches EnglischBr

Overview of all translations

(For more details, click/tap on the translation)

  • Programmneuter | Neutrum n
    program informatics, computer science | Informatik, Computer und InformationstechnologieIT
    program informatics, computer science | Informatik, Computer und InformationstechnologieIT
  • (Studien-, Partei-et cetera, and so on | etc., und so weiter etc)Programmneuter | Neutrum n
    program plan, agendaalso | auch a. figurative(ly) | figurativ, in übertragenem Sinnfig
    Planmasculine | Maskulinum m
    program plan, agendaalso | auch a. figurative(ly) | figurativ, in übertragenem Sinnfig
    program plan, agendaalso | auch a. figurative(ly) | figurativ, in übertragenem Sinnfig
examples
  • what is the program for today? familiar, informal | umgangssprachlichumg
    was steht heute auf dem Programm? was machen wir heute?
    what is the program for today? familiar, informal | umgangssprachlichumg
  • Programmneuter | Neutrum n
    program theatre, theater | TheaterTHEAT list of actors
    program theatre, theater | TheaterTHEAT list of actors
  • Spielplanmasculine | Maskulinum m
    program theatre, theater | TheaterTHEAT series of performances
    program theatre, theater | TheaterTHEAT series of performances
  • Sendungfeminine | Femininum f
    program television | FernsehenTV radio | Radio, RundfunkRADIO
    Programmneuter | Neutrum n
    program television | FernsehenTV radio | Radio, RundfunkRADIO
    program television | FernsehenTV radio | Radio, RundfunkRADIO
  • Prospektmasculine | Maskulinum m
    program prospectus
    program prospectus
  • Ankündigungfeminine | Femininum f
    program history | GeschichteHIST announcement
    Bekanntmachungfeminine | Femininum f
    program history | GeschichteHIST announcement
    program history | GeschichteHIST announcement

program

transitive verb | transitives Verb v/t <preterite, (simple) past tense | Präteritum, Vergangenheitprätand | und u.past participle | Partizip Perfekt pperf programmed; especially | besondersbesonders British English | britisches EnglischBr programed>

Overview of all translations

(For more details, click/tap on the translation)

  • programmieren
    program informatics, computer science | Informatik, Computer und InformationstechnologieIT
    program informatics, computer science | Informatik, Computer und InformationstechnologieIT
examples

programming

noun | Substantiv s

Overview of all translations

(For more details, click/tap on the translation)

  • Programmgestaltungfeminine | Femininum f
    programming radio | Radio, RundfunkRADIO television | FernsehenTV
    programming radio | Radio, RundfunkRADIO television | FernsehenTV
  • Programmierungfeminine | Femininum f
    programming informatics, computer science | Informatik, Computer und InformationstechnologieIT
    programming informatics, computer science | Informatik, Computer und InformationstechnologieIT

programming

adjective | Adjektiv adj

Overview of all translations

(For more details, click/tap on the translation)

  • Programmier…
    programming informatics, computer science | Informatik, Computer und InformationstechnologieIT
    programming informatics, computer science | Informatik, Computer und InformationstechnologieIT
examples

corrective

adjective | Adjektiv adj

Overview of all translations

(For more details, click/tap on the translation)

  • korrigierend, verbessernd, berichtigend, richtigstellend, Verbesserungs…
    corrective
    corrective
  • korrektiv, lindernd
    corrective medicine | MedizinMED
    corrective medicine | MedizinMED
  • mildernd, neutralisierend
    corrective chemistry | ChemieCHEM
    corrective chemistry | ChemieCHEM

corrective

noun | Substantiv s

Overview of all translations

(For more details, click/tap on the translation)

  • Abhilfefeminine | Femininum f
    corrective
    Besserungsmittelneuter | Neutrum n
    corrective
    corrective
  • Korrektivneuter | Neutrum n
    corrective medicine | MedizinMED
    Besserungsmittelneuter | Neutrum n (of für)
    corrective medicine | MedizinMED
    corrective medicine | MedizinMED
  • (Geschmacks)Korrigensneuter | Neutrum n
    corrective medicine | MedizinMED in medicine
    corrective medicine | MedizinMED in medicine