research
∙
05/28/2023
Overcoming Memory Weakness with Unified Fairness
We consider the verification of liveness properties for concurrent progr...
share
research
∙
02/04/2023
Parameterized Verification under TSO with Data Types
We consider parameterized verification of systems executing according to...
research
∙
08/13/2022
Automated Conversion of Axiomatic to Operational Models: Theory and Practice
A system may be modelled as an operational model (which has explicit not...
research
∙
08/07/2022
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
UCLID5 is a tool for the multi-modal formal modeling, verification, and ...
research
∙
01/25/2022
Probabilistic Total Store Ordering
We present Probabilistic Total Store Ordering (PTSO) – a probabilistic e...
research
∙
01/28/2021
Safety Verification of Parameterized Systems under Release-Acquire
We study the safety verification problem for parameterized systems under...
research
∙
07/20/2020
The Decidability of Verification under Promising 2.0
In PLDI'20, Lee et al. introduced the promising semantics PS 2.0 of the...
research
∙
03/09/2020