„Model-checking“
Suchergebnisse
1.904 Treffer
-
Evidence-Oriented Tracing and Verification, The Declaration of Timeprints
-
Toward Automated Verification of Dynamical Systems Using Forward and Backward Reachability Analysis
-
Computational Complexity of Verifying Parameterized Systems
-
Inductive Statements for Regular Transition Systems
-
Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems
-
Generating Safety-Critical Test Scenarios for Motion Planning Algorithms of Autonomous Vehicles
-
Certificates for automata in a hostile environment
-
Integrating System and Process Characteristics into Regression Test Optimization
-
Automatic test Case generation for PLC software
-
Fixpoint Checks and Computations for Behavioural Metrics and Games
-
Towards cooperative software verification with test generation and formal verification
-
Verification of multi-objective Markov models
-
On safety verification using PDR and Reverse PDR
-
Formal analysis of control systems via inductive approaches – tackling scalability, conservatism, and complex specifications
-
Compositional Stochastic Process Algebra Models: A Focus on Model Repair and Rate Lifting
-
Software doping – Theory and detection
-
Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques
-
Formal Verification of Algorithms for Automata and Model Checking
-
Witness-based validation of verification results with applications to software-model checking
-
Service-oriented design and verification of hybrid systems