Formalization and Automated Verification of RESTful Behavior
No abstract available.
Related papers
- Behavioral simulation for smart contracts PLDI 2020
- Automated Flaw Detection for Industrial Robot RESTful Service VMCAI 2025
- Cameleer: A Deductive Verification Tool for OCaml CAV 2021
- Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm TACAS 2023
- Qafny: A Quantum-Program Verifier ECOOP 2024
- Quantified Underapproximation via Labeled Bunches OOPSLA 2025
- Random Variate Generation with Formal Guarantees PLDI 2025
- REST: Integrating Term Rewriting with Program Verification ECOOP 2022