Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
by model checking
Vertaling van "by model checking" in Frans
par model checking
This phenomenon constitutes the principal obstacle of the automatic checking by model checking.
Ce phénomène constitue l'obstacle principal de la vérification automatique par model checking.
It is based on formal verification by model checking, parallel composition of finite sate automata and technical expertise.
Elle est fondée sur la vérification formelle par model checking, la composition parallèle d'automates finis et l'expertise métier.
Nevertheless, thanks to a preliminary step of temporal discretization, we have also implemented a complete neuron in Lustre which is a formal language allowing proofs by model checking.
Néanmoins, grâce à une étape préalable de discrétisation temporelle, nous avons également implémenté un neurone complet en Lustre qui est un langage formel autorisant des preuves par model checking.
The attainable states for both descriptions are preferably determined by model checking.
Pour ces deux descriptions, les états pouvant être atteints sont déterminés de préférence par contrôle de modèle.
For such nondeterministic models, we propose a symbolic simulation scheme inspired by model checking techniques for timed automata.
Pour ce type de modèle non déterministe, nous proposons une simulation symbolique, inspirée des techniques de vérification des automates temporisés.
For such nondeterministic models, we propose a 'symbolic simulation' scheme inspired by model checking techniques for timed automata.
Pour ce type de modèle non déterministe, nous proposons une 'simulation symbolique', inspirée des techniques de vérification des automates temporisés.
it must be executable, to allow debugging, simulation, and verification by model checking
Il doit être exécutable pour permettre le déboguage, la simulation, et la validation par model-checking.
one aspect of the invention is a coverage metric to identify that part of a state space which is covered by properties verified by model checking
l'invention porte sur un dispositif de mesure de couverture visant à identifier que la partie d'un espace d'état qui est recouvert par des propriétés est vérifiée par un procédé de vérification de modèle
Synoniemen voor by model checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 41 ms.
