Similar Items: Combining Mechanical and Agentic Specification Inference for Move
- Formal Verification of Imperative First-Class Functions in Move
- Barrier Certificates for Uncertain Temporal Specifications
- A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
- HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
- Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
- MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents