Compositional Verification and 3-Valued Abstractions Join Forces
Abstract elided by the publisher.
Related papers
- HaliVer: Deductive Verification and Scheduling Languages Join Forces TACAS 2024
- Commuting Conversions and Join Points for Call-by-Push-Value OOPSLA 2026
- Compositional Value Iteration with Pareto Caching CAV 2024
- A practical theory of language-integrated query ICFP 2013
- Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine APLAS 2018
- Multitier Modules ECOOP 2019
- A relational approach to interprocedural shape analysis TOPLAS 2010
- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution) TACAS 2023