2,490 followers
Open Access UCL Research: Compositional Satisfiability Solving in Separation Logic https://t.co/NHBIEmyA6i
Open Access UCL Research: Compositional Satisfiability Solving in Separation Logic https://t.co/NHBIEmyA6i
Model Checking Algorithms for Hyperproperties https://t.co/Ge3H913WmQ
Algebra-based Synthesis of Loops and their Invariants (Invited Paper) https://t.co/wQH3QcoNaP