„Model-checking“
Suchergebnisse
1.904 Treffer
-
Theoretical aspects of computing – 6th international colloquium ; proceedings
-
Integrated formal methods – 7th international conference ; proceedings
-
Compound Logics for Modification Problems
-
Model checking parameterized asynchronous shared-memory systems
-
Dynamic Verifiable Mixed Criticality Scheduling-Framework for Intelligent Infrastructure-Systems
-
Formally Verified Solution Methods for Markov Decision Processes
-
Language and automata theory and applications – 7th international conference ; proceedings
-
Model Checking Population Protocols
-
Transactions on Petri nets and other models of concurrency
-
Inductive Predicate Synthesis Modulo Programs
-
A Spectrum of Approximate Probabilistic Bisimulations
-
From Verification to Causality-Based Explications (Invited Talk)
-
On Skolem-Hardness and Saturation Points in Markov Decision Processes
-
Factuality challenges in the era of large language models and opportunities for fact-checking
-
Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension
-
Program model checking as a new trend
-
Concise Guide to Formal Methods – Theory, Fundamentals and Industry Applications
-
Analyzing the use of fact-checking tools in disaster-risk reduction in Europe through the lens of the heuristic-systematic model
-
Checking security compliance between models and code
-
Efficient model-checking of weighted CTL with upper-bound constraints