„model checking“
Suchergebnisse
1.904 Treffer
-
Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen, personalisierten, web-basierten Applikationen
-
Verification of real-time systems through lazy approximations
-
A Proof Theory for Model Checking
-
Correct hardware design and verification methods – 12th IFIP WG 10.5 advanced research working conference ; proceedings
-
Static analysis – 10th international symposium ; proceedings
-
Using probabilistic model checking for dynamic power management
-
Lazy model checking for recursive state machines
-
Formal techniques for networked and distributed systems – 23rd IFIP WG 6.1 international conference ; proceedings
-
Model-checking problems, machines and parameterized complexity
-
Model checking of duration calculus specifications
-
Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1
-
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
-
Language Design for Reactive Systems – On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts
-
Beyond Testing: The Art and Science of Formal Verification
-
Explicit state space verification
-
Abstraktionstechniken für automatische Verifikationsmethoden
-
Symbolic methods applied to formal verification and synthesis in embedded systems design
-
Easy instances for model checking
-
Runtime verification – 7th international workshop
-
Consistency checking of interrelated models – long version