Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
program proof, model checking
Examples with "program proof, model checking" and their translation in Duits
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.
Der Einsatz von CompCert ist die logische Fortführung des Einsatzes formaler Verifikation (statische Analyse, Model-Checking) auf der Quellcode-Ebene.
Andere resultaten
Model Checking can determine, for example, the correctness of digital circuits or the synchronization skeleton of a complex program.
So kann die Modellprüfung zum Beispiel die Korrektheit digitaler Schaltkreise oder des Synchronisierungs-Skeletts eines komplexen Programmes feststellen.
The aim of this course is to introduce Model Checking as an automatic approach to program verification.
Dieser Kurs führt in das Thema Model Checking ein. Dies ist ein automatischer Ansatz zur Programmverifikation.
In particular, we apply model checking methods where safety-critical situations can be identified by the result of a mathematical verification proof during the design time.
Insbesondere werden Model Checking Verfahren angewendet, bei denen sicherheitskritische Situationen durch Ergebnisse von mathematisch formalisierten Verifikationsverfahren während der Entwurfszeit identifiziert werden können.
Systerel offers a range of industrially proven solutions using Model Checking based technologies for the static analysis and formal proof of systems and software.
Systerel bietet eine Auswahl an industriell bewährten, auf Modellprüfung basierte Lösungen für die statische Analyse und den Beweis der Systeme und Software.
And once the proof-checking software has been verified by mathematicians - a much easier task not only because of the limited length of the program - it can be applied to a variety of different proofs.
Und sobald die Software ihrerseits einmal von Mathematikern geprüft und für korrekt befunden ist, kann man sie auf eine Vielzahl verschiedener Beweise anwenden.
BTC EmbeddedValidator uses Model-Checking technology to automatically provide complete mathematical proof that shows a requirement cannot be violated by the analyzed system.
BTC EmbeddedValidator nutzt Model Checking Technologie, um automatisch mit einem vollständigen mathematischen Beweis zu zeigen, dass eine Anforderung nicht verletzt werden kann.
Moreover, minimality checking for model candidates of HEX-programs turned out to be an interesting topic because it causes the major part of the computational costs.
Es hat sich dabei auch herausgestellt, dass der Minimalitätscheck für Modellkandidaten eine wesentliche Rolle spielt, da er einen Großteil des gesamten Rechenaufwands verursacht.
He worked in particular on model checking for software and hardware, on abstraction tools, parametric questions in model checking, analysis and testing of computer programs, and in this context also on temporal logic.
Er hat sich insbesonders mit Model Checking für Software und Hardware beschäftigt, mit Abstraktionstechniken, mit parametrischen Fragestellungen im Model Checking, mit Analyse und Testen von Computerprogrammen, und mit Temporallogik in diesem Kontext.
In the second half of the V-cycle, our verification methods, using abstract interpretation, static analysis and, soon, model checking, do provide unprecedented quality benefits to PLC programs.
Auf dem zweiten Ast des V-Modells bieten unsere Überprüfungsmethoden unvergleichbare Qualitätsvorteile für SPS-Programme, da sie abstrakte Interpretationen, statische Analysen und - in naher Zukunft - auch Modellüberprüfungen nutzen.
In general, model checking and proof checking techniques become ever more important as the criticality of tasks entrusted to intelligent agents is expanded. 14.
Im Allgemeinen werden Modellprüfungs- und Proofchecking-Techniken immer wichtiger, je mehr die Kritikalität der Aufgaben, die intelligenten Agenten übertragen werden, zunimmt.
"The invitation by Academia Europaea honors Tom's ground breaking research on automated program analysis, computer security, and model checking based on his work at University of Wisconsin and GrammaTech," stated fellow member of the academy, Prof. Dr. Dr. h.c.
"Hiermit wird seine bahnbrechende Forschung über die automatische Programmanalyse und die EDV-Sicherheit geehrt. Die Grundlage dafür ist seine Arbeit an der Wisconsiner Universität und bei GrammaTech", erklärt Professor Dr. Dr. h.c.
Improved Collision Checking Speed Version 7.3 speed is 5-10x (or more) faster, especially when the NC program's motion causes potential collision conditions with very detailed or complex models.
Die Kollisionsprüfung in der Version 7.3 läuft mindestens 5-10 x schneller ab als zuvor; vor allem dann, wenn die Verfahrbewegungen des NC-Programms bei sehr detaillierten und komplexen Modellen ein Kollisionsrisiko beinhalten.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 1653298. Exact: 1. Verstreken tijd: 367 ms.
