Scalable Formal Machine Models
Abstract elided by the publisher.
Related papers
- Scalable Formal Machine Models CPP 2012
- Multi-target Compiler for the Deployment of Machine Learning Models CGO 2019
- Robustness Verification of Support Vector Machines SAS 2019
- Ensuring Safety in Automotive Machine Learning Inference: From Pre-validated Static Kernels to Machine Learning Graph Compilation CAV 2026
- VeriML: typed computation of logical terms inside a language with effects ICFP 2010
- Scalable Tree-based Register Automata Learning TACAS 2024
- Reflections on the compatibility, performance, and scalability of parallel Python DLS 2019
- ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs ECOOP 2023