Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
modelchecking
Bedoelde u: model checking · model-checking

Examples with "modelchecking" and their translation 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.
Abstract: In this thesis, we are interested in limiting the combinatorial explosion that happens when modelchecking modular systems.
Résumé : Dans cette thèse, on s'interesse au probleme de l'explosion combinatoire du model-checking sur des systèmes modulaires.
The approach consisted in translating the Petri Net, interpreted as a finite state machine, as a pseudo-synchronous VHDL description, which can then be input to industrial symbolic modelchecking software.
Les spécifications de circuits sont alors traduites dans un modèle en VHDL peuso-synchrone et ensuite vérifiées par des outils industriels de vérification symbolique de modèles.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor modelchecking in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
frame: border enclosing a picture or mirror
Ontdek het woord
frame
Publiciteit

Resultaten: 2. Exact: 2. Verstreken tijd: 52 ms.