Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
model checking software
Examples with "model checking software" and their translation in Duits
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.
Several obstacles complicate a successful application of model checking software models.
Das Model Checking von Softwaremodellen wird durch verschiedene Hindernisse erschwert.
Andere resultaten
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.
To guarantee this we recommend to synchronize issues directly to the cloud when they are created or updated in Model Checking or Clash detection software.
Dazu empfehlen wir, Issues sofort in der Cloud zu synchronisieren, nachdem sie in der Modellprüfungs- oder Konflikterkennungssoftware erstellt bzw. aktualisiert wurden.
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.
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.
Due to the criticality of these systems, a formal verification like model checking is required in order to guarantee the functional correctness of the software.
Um die funktionale Korrektheit der Software zu gewährleisten, ist aufgrund der Kritikalität dieser Systeme eine formale Verifikation wie z.B. Model Checking notwendig.
The code checking software does not check that the model meets the specifications except as documented.
Die Codeprüfungssoftware prüft nicht, ob das Modell die Spezifikationen erfüllt, nur wie dokumentiert.
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.
Software validation and verification, especially software testing and model checking
Software Validierung und Verifikation, insb. Testing und Model Checking
The model checking approach has been developed for the verification of communication protocols and it was applied successfully to a wide range of problems in the field of technical software modelling.
Der Ansatz des Model Checking stammt ursprünglich aus dem Entwurf von Kommunikationsprotokollen und wurde bereits erfolgreich auf verschiedene Probleme der Modellierung technischer Software angewendet.
Software development based on formal methods Software tool support based on some mathematical formalism includes model checking, process algebras, and Petri nets.
Softwareentwicklung basierend auf formale Methoden Die Unterstützung durch Softwaretools, die auf einigen mathematischen Formalismen basieren, einschließlich Model Checking, Processkalkül, sowie Petri-Netze.
Against this background, we present an online model checking mechanism aimed to ensure the correctness of the actual execution trace, instead of the universal correctness, of the embedded software system.
Vor diesem Hintergrund stellen wir einen Online Model Checking Mechanismus vor, um die Korrektheit eines aktuellen Ausführungspfades, anstatt die gesamte Korrektheit der eingebetteten Software, sicherzustellen.
Synoniemen voor model checking software in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 234. Exact: 2. Verstreken tijd: 442 ms.
