"Deductive verification with ghost monitors."

Martin Clochard, Claude Marché, Andrei Paskevich (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics