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
model-checking
Wie wir in dieser Dissertation zeigen werden, sind Gegenbeispiele im stochastischen Model-Checking in der Regel sehr komplex.
Counterexamples in stochastic model checking, as we will show in this dissertation, are very complex.
Im Rahmen dieser Forschung ist es uns als erste gelungen, stochastisches Model-Checking um die Generierung und Analyse von Gegenbeispielen zu erweitern.
Within our research in this field we succeeded in extending stochastic model checking to include the possibility of counterexample generation.
Wir haben das Konzept der Gegenbeispiele in das stochastische Model-Checking eingeführt und die ersten Methoden zur Generierung und Analyse von Gegenbeispielen entwickelt.
We introduced the notion of counterexamples into stochastic model checking and devised the first methods for the generation and analysis of counterexamples.
Einsatz von Model-Checking im Testen
Application of model checking in testing
Daneben wird Model-Checking häufig als ein Debugging-Werkzeug eingesetzt. Es wird zur Lokalisierung und Behebung von Fehlern verwendet, wenn das Modell eine gewünschte Eigenschaft verletzt.
Nevertheless, model checking has also been extensively used as a debugging technique to aid developers in locating and fixing errors when the model violates a desired property.
Des Weiteren wird eine automatische Übersetzung von R-UML nach R-TNCES vorgeschlagen; dies unterstützt das Model-Checking.
The paper also presents an automatic translation of R-UML into R-TNCES, a Petri Net-based formalism, in order to support model checking.
UMWANDLUNG EINER EINFACHEN PSL-UNTERMENGE IN SERE-IMPLIKATIONSFORMELN ZUR ÜBERPRÜFUNG MIT MODEL-CHECKING UND SIMULATIONSMASCHINEN UNTER VERWENDUNG VON BEDEUTUNGSERHALTENDEN UMSCHREIBUNGSREGELN
TRANSFORMATION OF SIMPLE SUBSET OF PSL INTO SERE IMPLICATION FORMULAS FOR VERIFICATION WITH MODEL CHECKING AND SIMULATION ENGINES USING SEMANTIC PRESERVING REWRITE RULES
Für die formale Verifikation wird die Methode des Model-Checking angewandt.
The method of model-checking is used for the formal verification.
Mit dem Model-Checking werden formale Modelle auf dessen Verhalten und Spezifikation überprüft.
The formal models are checked by use of this method for their behaviour and specification.
Für den Bereich „Model-Checking" können zusätzlich mehrere Applikationen bereitgestellt werden.
Several applications can be provided for model checking. projects referring to
Sie kennen Konzepte und Werkzeuge für die automatische, formale Analyse dieser Eigenschaften durch Model-Checking.
The students will know concepts and tools for the automated formal analysis of these properties using model-checking.
Werkzeuge für Model-Checking und Terminierung sind erstellt
Der Einsatz von CompCert ist die logische Fortführung des Einsatzes formaler Verifikation (statische Analyse, Model-Checking) auf der Quellcode-Ebene.
Using the CompCert C compiler is a natural complement to applying formal verification techniques (static analysis, program proof, model checking) at the source-code level.
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.
