„Model Checking“
Suchergebnisse
1.904 Treffer
-
Solving Stochastic Games Reliably
-
On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
-
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure – Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
-
SMT solving, interpolation, and quantifiers
-
Efficient software model checking with block-abstraction memoization
-
Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems
-
System Verification Via Generic Games – Behavioural Equivalence and Model Checking Games
-
Sicherheitsanalysen von Fail-Operational-Systemen für einen Nachweis nach ISO 26262
-
Towards a new methodology for design, modelling, and verification of reconfigurable distributed control systems based on a new extension to the IEC 61499 standard
-
Beyond Testing: The Art and Science of Formal Verification
-
Alternative Automata-based Approaches to Probabilistic Model Checking
-
Formal Configuration of Fault-Tolerant Systems
-
Formal Methods for Probabilistic Energy Models
-
Absicherung von verteilten Automatisierungssystemen nach Änderungen der Steuerungssoftware – Modellkomposition zur Nutzung der funktionalen Verifikation
-
Statistisches Model Checking mittels geführter Simulation im Kontext modellbasierter Entwicklung sicherheitskritischer Fahrerassistenzsysteme
-
Cryptographic Protocols from Physical Assumptions
-
IC3 software model checking
-
The probabilistic model checker Storm – symbolic methods for probabilistic model checking
-
Verification of asynchronous hyperproperties
-
Exploring cooperative verification – survey, tools, and experiments