Similar Items: Separation Logic for Verifying Physical Collisions of CNC Programs
- Set-like operations on propositional logic programs
- Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
- MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
- Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
- A Logic of Inability
- Logics for Context-free Hyperproperties