activity
20112022
most citedIncorporating Voice Permutations into the Theory of Neo-Riemannian Groups and Lewinian Duality

5 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2022

Foundations for Entailment Checking in Quantitative Separation Logic (extended version)

Kevin Batz, Ira Fesefeldt, Marvin Jansen +4

Quantitative separation logic (QSL) is an extension of separation logic (SL) for the verification of probabilistic pointer programs. In QSL, formulae evaluate to real numbers inste…