Similar Items: Automated Channel Fault Analysis with Tofu
- Static Analysis of Recursive SHACL
- Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
- Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL
- Verification of Neural Networks (Lecture Notes)
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- Automaton-based Characterisations of First Order Logic over Infinite Trees