Latest

• Validating Concurrent Correctness Witnesses by Thread-Modular Abstract Interpretation
• Predictive Monitoring with Strong Trace Prefixes
• Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic
• Predictive Monitoring against Pattern Regular Languages