Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
correctness of programs

Vertaling van "correctness of programs" in Frans

We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
correction de programmes
ALT-ERGO is an automatic prover specially designed to guarantee the correctness of programs.
ALT-ERGO est un démonstrateur automatique spécialement conçu pour garantir la correction de programmes.
The main topics are the conception and analysis of models based on partial differential equations, the study of their precise and efficient numerical approximation, and implementation issues with special concern for reliability and correctness of programs.
Ses sujets principaux sont la conception et l'analyse de modèles basés sur des équations aux dérivées partielles, l'étude de leur approximation numérique précise et efficace et leur implémentation dans le cadre d'une programmation sûre et correcte.
Since arrays are ubiquitous in most software systems, and software defects related to mis-uses of arrays are hard to avoid in practice, a lot of efforts have been devoted to ensuring the correctness of programs manipulating arrays.
Les tableaux sont omniprésents dans de nombreux programmes, et les erreurs liées à leur manipulation sont difficile à éviter en pratique.
Description: The paper presented the tree automaton, an extension of the tree automaton had numerous applications to proofs of correctness of programs.
Description: ce document présente l'automate d'arbres, une extension de l'automate. l'automate d'arbres a eu de nombreuses applications lors de vérification formelle.
Justification: Clarity and correctness of programs take precedence.
Justification: Clarté et correction des programmes sont prioritaires.
Most of these investigations require the development of notations, languages, and other tools specifically tailored for the calculi themselves, their representations, for measuring the complexity, analyzing the behavior or verifying correctness of programs.
Ces études passent par l'élaboration de notations, de langages et de divers outils dédiés aux calculs comme leurs représentations, l'évaluation de leurs complexités, l'analyse de leurs comportements ou encore la vérification de leurs validités.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor correctness of programs in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
chainsaw: power saw with a rotating chain
Ontdek het woord
chainsaw
Publiciteit

Resultaten: 6. Exact: 6. Verstreken tijd: 43 ms.