Learning invariants for verification of programs and control systems
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
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