Download for Windows Premium
Publiciteit
assertion checker
vérificateur de conditions
Various verification tools, such as a runtime assertion checker and the Extended Static Checker (ESC/Java) aid development.
Il existe divers outils de vérification pour JML, tels qu'un exécutable de vérification d'assertions et que l'Extended Static Checker (ESC/Java).

Andere resultaten

Checker: takes a specification (an assertion) and a program (a proof), and checks that the second conforms to the first (respectively establishes it).
Vérificateur : prend une spécification (une proposition) et un programme (une preuve), et vérifie que le second est conforme au premier (l'établit).
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor assertion checker in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
nest: structure built by birds for laying eggs
Ontdek het woord
Publiciteit

Resultaten: 2. Exact: 1. Verstreken tijd: 31 ms.