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