Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
and model-checking
Examples with "and model-checking" and their translation in Duits
The abstract framework is primary meant to be instantiated with formal specification techniques featuring a mathematical semantics, and thus, enabling the application of formal analysis techniques like formal verification and model-checking to component architectures specified by those techniques.
Die formale mathematische Semantik solcher Techniken bildet, zusammen mit dem vorgestellten Konzept, einen Ausgangspunkt für die Anwendung formaler Analysetechniken, zum Beispiel formale Verifikation und Model-Checking, auf entsprechende komponentenbasierte Architekturspezifikationen.
Andere resultaten
This lecture teaches the basics and applications of static analysis and model checking in the domain of logic control software.
In dieser Vorlesung werden Grundlagen und Anwendungen von statischer Analyse und Model-Checking im Bereich Steuerungssoftware vermittelt.
Software validation and verification, especially software testing and model checking
Software Validierung und Verifikation, insb. Testing und Model Checking
It accomplishes this by using, extending and expanding on known techniques for safety-oriented source code analysis - including abstract interpretations, deductive verifications and model checking.
Dazu setzt es an bereits bestehenden Methoden zur sicherheitsbezogenen Quellcodeanalyse, einschließlich abstrakter Interpretationen, deduktiver Verifikationen und der Modellprüfung, an und baut auf diesen auf.
BIM and Model Checking: what it is and why validation data processes are needed
BIM und Model Checking: worum es sich handelt und warum Prozesse der Datenvalidierung notwendig sind
Automated methods for detecting flaws and proving security properties: formal methods and model checking, abstract interpretation, fuzzing, and other static and dynamic analysis methods
Automatisierte Methoden zum Nachweis von Fehlern und Sicherheitseigenschaften: formale Methoden und Modellprüfungen, abstrakte Interpretation, Fuzzing und andere statische und dynamische Analyseverfahren
A comparison of OPN translations to Maude specifications and model checking is given, showing that our approach is roughly twice as fast for larger systems.
Eine kurze Gegenüberstellung mit einer bekannten OPN- Übersetzung in Maude zeigt, dass in der Übersetzung nach Prolog für größere Systeme das Model-Checking etwa doppelt so schnell ist.
BIM and Model checking applied to the single disciplinary model and to the integrated model (Merged Model)
BIM und Model Checking auf das einzelne Fachchodell und auf das integrierte Modell (Merged Model) angewandt
Martin Hill is Scrum Master for MES Test Manager (MTest) and is also responsible for projects in the fields of quality assurance, modeling, and model checking.
Martin Hill ist Scrum Master des MES Test Managers (MTEST) und zudem verantwortlich für Projekte in den Bereichen Qualitätssicherung, Modellierung und Modellprüfung.
His areas of expertise include quality assurance of embedded control software, model-based development and model checking, logical verification of requirements, static analysis, and Automaten. 2016
Seine Forschungsinteressen liegen in der Qualitätssicherung eingebetteter Software, modellbasierter Entwicklung und Modellprüfung, logische Verifikation von Anforderungen, statischer Analyse und der automatischen Generierung und Ausführung von Softwaretests.
BIM and Model Checking: let's find out about Clash Detection and Code Checking
BIM und Model Checking: worum es sich handelt und warum Prozesse der Datenvalidierung notwendig sind
After the information requirements are defined property templates or checking rules can be generated and directly imported in model authoring tools such as ARCHICAD or Revit, and model checking software such as SimpleBIM and Solibri Model Checker.
Nachdem die Informationsanforderungen definiert wurden, können Eigenschaftsvorlagen (Eigenschaftsätze und Eigenschaften) oder Prüfregeln generiert und direkt in Modellerstellungstools wie ARCHICAD oder Revit sowie in Modellprüfungssoftware wie SimpleBIM und Solibri Model Checker importiert werden.
"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.
Synoniemen voor and model-checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 260. Exact: 1. Verstreken tijd: 101 ms.
