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
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.
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.
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.
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.
Application of model checking in testing
Einsatz von Model-Checking im Testen
Several obstacles complicate a successful application of model checking software models.
Das Model Checking von Softwaremodellen wird durch verschiedene Hindernisse erschwert.
The semantics of hybrid automata make them accessible to formal verification by means of model checking.
Besonders geeignet erscheinen Hybride Automaten, weil ihre formale Semantik die Verifikation durch Model Checking erlaubt.
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.
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 a graduate student, Allen Emerson, first proposed the use of Model Checking as a verification technique for finite state concurrent systems.
1981 schlugen er und E. Allen Emerson, einer seiner Doktoranden, erstmals vor, die Modellprüfung zu verwenden, um damit nebenläufige Programme zu verifizieren.
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.
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: 63 ms.
