Skip to content
<title>Channels - Regular Model Checking Upside-Down: An Invariant-Based Approach :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Regular Model Checking Upside-Down: An Invariant-Based Approach
Search for more channels:
Similar Items: Regular Model Checking Upside-Down: An Invariant-Based Approach
Channel Options
View Record
Explore related channels
Quick Look
Fixpoint Theory -- Upside Down
Quick Look
Bounded Quantifier Instantiation for Checking Inductive Invariants
Quick Look
Antichains for the Automata-Based Approach to Model-Checking
Quick Look
An Upside of Originalism? Jury Size
Quick Look
Invariant Subspace Decomposition
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
Boosted Control Functions: Distribution Generalization and Invariance in Confounded Models
Quick Look
Compositional Verification for Timed Systems Based on Automatic Invariant Generation
Quick Look
Order-Invariant Types and Their Applications
Quick Look
Nash Equilibrium and Bisimulation Invariance
Quick Look
Real-Time Model-Checking: Parameters everywhere
Quick Look
Linear Encodings of Bounded LTL Model Checking
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
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
Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners
Quick Look
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Quick Look
Subspace-Invariant AC$^0$ Formulas
Load more items
View Record
Prev
Explore related channels
Next
