Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker

Get full text

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays

Get full text

Disjunctive bases: normal forms and model theory for modal logics

Get full text

A Finite-Model-Theoretic View on Propositional Proof Complexity

Get full text

Architectures in parametric component-based systems: Qualitative and quantitative modelling

Get full text

Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models

Get full text

Model Checking Flat Freeze LTL on One-Counter Automata

Get full text

An intensionally fully-abstract sheaf model for $pi$ (expanded version)

Get full text

Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

Get full text

Model Checking Vector Addition Systems with one zero-test

Get full text

Proof-irrelevant model of CC with predicative induction and judgmental equality

Get full text

Turing machines on represented sets, a model of computation for Analysis

Get full text

Model Checking Probabilistic Timed Automata with One or Two Clocks

Get full text

Exploratory analysis of logical and intuitive reasoning in large language models

Get full text

Type Region Model and Its Application in Program Static Detection

Get full text

Recovery-induced tipping in Stommel’s kicked ocean box model

Get full text

Cavitation bubble near a wall: Sensitivity to modeling conditions

Get full text

stan-playground: Run Stan models directly in your browser

Get full text

corrselect: Fast and flexible predictor pruning for data analysis and modeling

Get full text

Boosted Control Functions: Distribution Generalization and Invariance in Confounded Models

Get full text