The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems
Abstract elided by the publisher.
Related papers
- Integrating Formal Schedulability Analysis into a Verified OS Kernel CAV 2019
- Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models CAV 2021
- Caper - Automatic Verification for Fine-Grained Concurrency ESOP 2017
- OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust TACAS 2024
- An Integrated Specification and Verification Technique for Highly Concurrent Data Structures TACAS 2013
- Foundational Integration Verification of a Cryptographic Server PLDI 2024
- Fusing Session-Typed Concurrent Programming into Functional Programming ICFP 2025
- Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution) TACAS 2023