Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
like model checking
Examples with "like model checking" and their translation in Frans
The CADP (Construction and Analysis of Distributed Processes) toolbox offers several techniques related to state space exploration, like model checking, to formally verify an LNT specification.
La boite à outils CADP (Construction and Analysis of Distributed Processes) offre plusieurs techniques relatives à l'exploration d'espace d'états, comme le model checking, pour vérifier formellement une spécification LNT.
The CADP Construction and Analysis of Distributed Processes toolbox offers several techniques related to state space exploration, like model checking, to formally verify an LNT specification.
La boite à outils CADP Construction and Analysis of Distributed Processes offre plusieurs techniques relatives à l-exploration d-espace d-états, comme le model checking, pour vérifier formellement une spécification LNT.
Andere resultaten
Like model-checking, this technique automatically proves safety of finite systems and of some classes of infinite systems having a regular representation.
Comme en model-checking, cette technique permet de prouver automatiquement des propriétés de sûreté sur les systèmes finis, ainsi que sur certaines classes de systèmes infinis ayant une présentation finie.
Such weak dependences will be studied in the framework of model-checking games.
De telles dépendances faibles seront étudiées au travers de jeux de model checking.
Such properties can be evaluated by using probabilistic model checking.
Ces propriétés peuvent être évaluées en utilisant le probabilistic model checking.
The obtained model is then analysed by model-checking.
Le modèle obtenu est ensuite analysé 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.
The verification of liveness properties can beachieved with model checking.
La vérification des propriétés de vivacité se fait à l'aide de model checking.
Model checking provides support to discover deadlocks and violations of constraints.
Le model-checking fournit un support pour découvrir les blocages et les violations de propriétés.
In the aforementioned parameter generation, parametric model checking is performed.
Dans la génération du paramètre précité, une vérification de modèle paramétrique est effectuée.
Secondly, we propose to combine this method with model-checking techniques.
Deuxièmement, nous proposons de combiner cette méthode avec des techniques de model checking.
Secondly, we propose to combine this method with model-checking techniques.
Deuxièmement, nous proposons de combiner cette méthode avec des techniques de model checking.
Model checking provides support to discover deadlocks and properties violations.
Le model-checking fournit un support pour découvrir les blocages et les violations de propriétés.
Synoniemen voor like model checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 896. Exact: 2. Verstreken tijd: 416 ms.
