Vertaling van "techniques de model-checking" in Engels
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.
model-checking techniques
Les techniques proposées constituent une alternative aux techniques de model-checking.
Sous réserve que les propriétés biologiques d'intérêt s'expriment sous la forme de formules LTL, les techniques de model-checking LTL sont combinées à celles d'exécution symbolique et de résolution de contraintes afin de sélectionner les modèles satisfaisant ces propriétés.
Provided that targeted biological properties are expressed in the form of LTL formulas, LTL model-checking techniques are combined with symbolic execution and constraint solving techniques to select discrete models satisfying these properties.
Nous proposons une méthode basée sur des techniques d'extrapolation sur les automates, et nous étudions la puissance de cette approche.- Techniques de model-checking régulier pour la vérification des réseaux paramétrés avec des topologies linéaires et arborescentes.
We propose a method based on extrapolation techniques on automata, and we study the power of this approach.- Regular model-checking techniques for the verification of parametrized networks with linear and tree-like topologies.
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.
Résumé : Ce mémoire propose des représentations formelles pour contrôleurs logiques industriels qui visent à améliorer le passage à l'échelle des techniques de model-checking.
Abstract: This dissertation proposes formal representations for programmable logic controllers that aim at improving the scalability of model-checking techniques.
Résumé : Dans ce mémoire, nous présentons l'utilisation de techniques de model-checking pour l'inférence de paramètres de réseaux de régulation génétique (GRN) et l'analyse formelle d'une voie de signalisation.
Abstract: In this thesis, we present the use of model checking techniques for inference of parameters of Gene Regulatory Networks (GRNs) and formal analysis of a signalling pathway.
Les techniques proposées constituent une alternative aux techniques de model-checking.
The proposed techniques are an alternative to model-checking techniques.
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.
