coma, an Intermediate Verification Language with Explicit Abstraction Barriers
Abstract
International audience
Related papers
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems CAV 2013
- Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels OOPSLA 2013
- Barrier Inference POPL 1998
- First-Class Synchronization Barriers ICFP 1996
- Verification of software barriers PPoPP 2012
- Optimizing Parallel Programs with Explicit Synchronization PLDI 1995
- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation CAV 2021
- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models TACAS 2021