scientific article; zbMATH DE number 1406234
From MaRDI portal
Publication:4939270
zbMath0947.68028MaRDI QIDQ4939270
Giorgio Delzanno, Andreas Podelski
Publication date: 28 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Compositional analysis for verification of parameterized systems ⋮ Learning to verify branching time properties ⋮ Temporal property verification as a program analysis task ⋮ CPBPV: a constraint-programming framework for bounded program verification