research
∙
07/06/2022
Towards Concurrent Quantitative Separation Logic
In this paper, we develop a novel verification technique to reason about...
share
research
∙
01/27/2022
Foundations for Entailment Checking in Quantitative Separation Logic (extended version)
Quantitative separation logic (QSL) is an extension of separation logic ...
research
∙
06/16/2020
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs
Neural networks are commonly used in safety-critical real-world applicat...
research
∙
02/28/2018