Encoding inductive invariants as barrier certificates : Synthesis via difference-of-convex programming

Wang, Qiuye; Chen, Mingshuai (Corresponding author); Xue, Bai; Zhan, Naijun (Corresponding author); Katoen, Joost-Pieter

Amsterdam : Elsevier (2022)
Fachzeitschriftenartikel

In: Information and computation
Band: 289
Heft: A
Seite(n)/Artikel-Nr.: 104965

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]