Ezudheen, P

Learning invariants for verification of programs and control systems by P Ezudheen; advised by Deepak D'Souza - Bengaluru IISc 2022 - xiii, 145p.

includes bibliographical references and index

PhD; IISc; 2022














program verification
verification of control systems
invariant synthesis









600 / EZU/L