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.
Les approches de développement dirigées par des modèles étant actuellement très répandus dans l'industrie, nous étudions également le couplage des techniques de model-checking et du test basé sur des modèles.
As model-centered approaches are now widespread in the development of industrial systems, we also investigate the coupling of model-checking and model-based testing.
Enfin, nous revenons sur des résultats plus récents, consécutifs à l'établissement de liens fructueux entre l'apprentissage automatique, la programmation logique, le model-checking et la bio-informatique, ce qui nous permet de faire émerger un ensemble de nouvelles questions scientifiques.
Finally, we give an overview of recent research aiming to build a fruitful link between machine learning, logic programming, model-checking and bioinformatics.
Nous montrons par ailleurs que la complexité des problèmes de model-checking et de satisfiabilité pour USL est équivalente à celle des formalismes pré-existants.
We also show that the complexity of model-checking and satisfiability problems for USL is equivalent to that for pre-existing formalisms.
Nous prenons en compte le problème de l'explosion combinatoire de model-checking et finalement nous proposons une heuristique dite vérification hybride combinant model-checking et simulation.
Our methodology also considers the state explosion problem of a model checker and proposes a heuristic called hybrid verification combining model checking and simulation.
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.
