Skip to content
<title>Channels - Software Model Checking with Explicit Scheduler and Symbolic Threads :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Software Model Checking with Explicit Scheduler and Symbolic Threads
Search for more channels:
Similar Items: Software Model Checking with Explicit Scheduler and Symbolic Threads
Channel Options
View Record
Explore related channels
Quick Look
A Model of Cooperative Threads
Quick Look
Thread: Circuits
Quick Look
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads
Quick Look
Explicit fairness in testing semantics
Quick Look
An Explicit Framework for Interaction Nets
Quick Look
Using models to model-check recursive schemes
Quick Look
Model Checking Probabilistic Pushdown Automata
Quick Look
FO Model Checking of Interval Graphs
Quick Look
Geometric Model Checking of Continuous Space
Quick Look
Inferring Symbolic Automata
Quick Look
Neural Network Augmented Koopman Explicit Model Following Control for Robotic Manipulators
Quick Look
Thread: Differentiable Self-organizing Systems
Quick Look
Intuitionistic implication makes model checking hard
Quick Look
Efficient CSL Model Checking Using Stratification
Quick Look
Model-Checking of Ordered Multi-Pushdown Automata
Quick Look
Real-Time Model-Checking: Parameters everywhere
Quick Look
Linear Encodings of Bounded LTL Model Checking
Quick Look
Antichains for the Automata-Based Approach to Model-Checking
Quick Look
Model Checking Lower Bounds for Simple Graphs
Quick Look
Faster Existential FO Model Checking on Posets
Quick Look
Model Checking Spatial Logics for Closure Spaces
Quick Look
Model-Checking Problems as a Basis for Parameterized Intractability
Quick Look
The Complexity of Model Checking Higher-Order Fixpoint Logic
Quick Look
Model Checking Synchronized Products of Infinite Transition Systems
Load more items
View Record
Prev
Explore related channels
Next
