Dual analysis for proving safety and finding bugs
scientific article; zbMATH DE number 6171365