Similar Items: Verified Approximation Algorithms
- Verifying liquidity of recursive Bitcoin contracts
- Finite state verifiers with constant randomness
- TRX: A Formally Verified Parser Interpreter
- Extracting verified decision procedures: DPLL and Resolution
- A Program Logic for Verifying Secure Routing Protocols
- A Quantum Approximate Optimization Algorithm for Resource Allocation in Database System