LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes
No abstract available.
Related papers
- HLola: a Very Functional Tool for Extensible Stream Runtime Verification TACAS 2021
- Verifying safety properties of concurrent heap-manipulating programs TOPLAS 2010
- Verifying safety properties of concurrent Java programs using 3-valued logic POPL 2001
- Automated Verification of Parametric Channel-Based Process Communication OOPSLA 2024
- Loop Leaping with Closures SAS 2012
- Leaping Loops in the Presence of Abstraction CAV 2007
- Parametric Runtime Verification of C Programs TACAS 2016
- Gradually structured data OOPSLA 2021