Similar Items: Formal Verification of Imperative First-Class Functions in Move
- Order-invariant cluster first-order logic on graph classes of bounded degree
- Verification of Neural Networks (Lecture Notes)
- Combining Mechanical and Agentic Specification Inference for Move
- Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
- A New Interaction Concept for Interactive and Autoactive Program Verification
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic