Vertaling van "correction de programmes" in Engels
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.
correctness of programs
ALT-ERGO est un démonstrateur automatique spécialement conçu pour garantir la correction de programmes.
ALT-ERGO is an automatic prover specially designed to guarantee the correctness of programs.
L'intention originale de ces logiques est de vérifier formellement la correction de programmes manipulant des pointeurs.
These logics were originally intended for the formal verification of programs with pointers.
Puis j'ai étudié la correction de programmes impératifs par rapport à des propriétés temporelles et des spécifications fonctionnelles formelles.
Then I studied the correction of imperative programs with respect to temporal properties and formal functional specifications.
procédé de correction de programmes d'apprentissage pour robots
Outre ses applications en mathématiques, l'outil Coq permet également de certifier la correction de programmes informatiques.
In addition to its applications in mathematics, Coq also allows certifying the correctness of computer programs.
À notre connaissance, au delà de la certification d'un simulateur, il s'agit de la première expérience de preuve de correction de programmes C à cette échelle basée sur la sémantique opérationnelle.
Up to our knowledge, this is the first development of formal correctness proofs based on operational semantics, at least at this scale.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor correction de programmes in het Frans
