2 papers
cs.LO2026
First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
Janine Lohse, Tim Rohde, Jimmy Xin +5
There has recently been exciting progress in the realm of probabilistic separation logics. An important subclass of these-including PSL, Lilac, Bluebell, and pcOL-are distributiona…
cs.LO2023
Automata-Based Software Model Checking of Hyperproperties
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann +1
We develop model checking algorithms for Temporal Stream Logic (TSL) and Hyper Temporal Stream Logic (HyperTSL) modulo theories. TSL extends Linear Temporal Logic (LTL) with memory…