Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
of model checking
Vertaling van "of model checking" in Duits
der Modellprüfung
Model-Checking
Together with Christel Baier he wrote and published the book Principles of Model Checking.
Zusammen mit Christel Baier veröffentlichte Katoen das Buch Principles of Model Checking.
Application of model checking in testing
Einsatz von Model-Checking im Testen
Thus, the ability to provide diagnostic information, that facilitates debugging, dictates the usability of model checking techniques in practice.
Aus diesem Grund ist die Möglichkeit, diagnostische Informationen zu liefern, entscheidend für die praktische Anwendbarkeit von Model-Checking-Techniken.
Nevertheless, the increasing complexity of embedded systems requires to compensate the natural disadvantages of model checking that suffers from the well-known state-space explosion problem.
Durch die steigende Komplexität von Eingebetteten Systemen muss der natürliche Nachteil der Modellprüfung, die Zustandsraumexplosion, ausgeglichen werden um akzeptable Laufzeiten des Verifikationsverfahren sicher zu stellen.
Therefore, the use of model checking for the generation of test-cases is a beneficial approach to improve the quality in a model-based software development with executable, state-based models.
Aus diesen Gründen ist die Wahl eines Model Checking Ansatzes für die Generierung von Testfällen im Rahmen eines modellbasierten Modultestverfahrens eine logische Konsequenz.
These results laid down the foundations of model checking - the most widely used verification method in industry - and have been implemented for the first time in the CESAR model checker.
Diese Ergebnisse bildeten die Basis der Modellprüfung - der am weitesten verbreiteten Verifizierungs-Methode in der Industrie - und wurden erstmals im Modelprüfer CESAR umgesetzt.
The last session of the day was Orna Grumberg's last lecture, which she concluded with an overview of model checking and theorem proving tools.
Die letzte Vorlesung des Tages war Orna Grumbergs letzter Vortrag, den sie mit einer Übersicht über Model Checking und Beweiswerkzeuge beendete.
In 1981 he and his Ph.D. student E. Allen Emerson first proposed the use of model checking as a verification technique for finite state concurrent systems.
1981 schlugen er und sein erster Doktorand Allen Emerson die Verwendung der Modellprüfung als Verifizierungstechnik für endliche parallele Systeme vor, 1982 implementierte Edmund M. Clarke den ersten Modellprüfer EMC.
His research group at Carnegie Mellon pioneered the use of Model Checking for hardware and software verification.
Seine Forschungsgruppe an der Carnegie Mellon University war Vorreiter bei der Verwendung der Modellprüfung für die Verifizierung von Hard- und Software.
On the basis of the industrially wide-spread V-model a verification environment is presented, which connects a multiplicity of different techniques of Model Checking in a flexible Workflow.
Ausgehend von dem industriell weit verbreiteten V-Modell wird eine Werkzeugumgebung vorgestellt, die verschiedene Techniken des Model Checkings in einem flexiblen Workflow verbindet.
Combining decomposition and lumping - methods for state space reduction from the domain of model checking - allows to dampen the state space explosion.
Die Kombination von Dekomposition und Lumping - Methoden zur Zustandsraumreduktion aus dem Bereich Modellprüfung - erlaubt es, die Zustandsraumexplosion zu dämpfen.
Several obstacles complicate a successful application of model checking software models.
Das Model Checking von Softwaremodellen wird durch verschiedene Hindernisse erschwert.
With the aid of model checking the conformity of the models to these properties is automatically verified.
Mit der Technik Model-Checking wird automatisch geprüft, ob die Modelle diese Eigenschaften erfüllen.
Synoniemen voor of model checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 16. Exact: 16. Verstreken tijd: 62 ms.
