„Model-checking“
Suchergebnisse
1.904 Treffer
-
Verification of programmable logic controller code using model checking and static analysis
-
A formal approach to the development of industrial cyber-physical systems
-
A system-theoretic safety engineering approach for software-intensive systems
-
Simulative analysis of coloured extended stochastic Petri nets
-
Path Predicate Abstraction – for Sound System-Level Modeling of Digital Circuits
-
Formal Verification of Firmware-Based System-on-Chip Modules
-
Abstraction-based analysis of hybrid automata – = Abstraktions-basierte Analyse von Hybrid-Automaten
-
Interpolation in software model checking and fault localization – = Interpolation in Software Model Checking und Defektlokalisierung
-
Transition-based directed model checking – = Transitionsbasierte gerichtete Modellprüfung
-
Automated verification of system requirements and software specifications
-
Theory and Implementation of Software Bounded Model Checking
-
Verifikation unvollständiger Schaltkreise
-
Model checking for time division multiple access systems
-
Simulation and statistical model-checking of logic-based multi-agent system models
-
Guarded Hybrid Team Logics
-
Verification of Programmable Logic Controller Code using Model Checking and Static Analysis
-
Eine vollständig verifizierte, ausführbare Formelübersetzung à la SPIN
-
Logics on data words – Expressivity, satisfiability, model checking
-
Symbolic on-the-fly analysis of stochastic Petri nets
-
Model Checking and Model-Based Testing – Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations