| 000 | 00994nam a22003858i 4500 | ||
|---|---|---|---|
| 919 | _a207801 | ||
| 072 |
_a _x |
||
| 082 |
_a600 _bEZU/L |
||
| 100 |
_aEzudheen, P _d |
||
| 110 | _a | ||
| 240 | _a | ||
| 245 |
_aLearning invariants for verification of programs and control systems _b _cby P Ezudheen; advised by Deepak D'Souza |
||
| 260 |
_aBengaluru _bIISc _c2022 |
||
| 300 |
_axiii, 145p. _b _c _e |
||
| 500 | _aincludes bibliographical references and index | ||
| 502 | _aPhD; IISc; 2022 | ||
| 600 | _a | ||
| 610 | _a | ||
| 611 | _a | ||
| 630 | _a | ||
| 650 | _aprogram verification | ||
| 650 | _averification of control systems | ||
| 650 | _ainvariant synthesis | ||
| 651 | _a | ||
| 653 | _a | ||
| 654 | _a | ||
| 700 | _a | ||
| 720 | _aD'Souza, Deepak advised | ||
| 730 | _a | ||
| 740 | _a | ||
| 856 |
_dhttps://etd.iisc.ac.in/handle/2005/5962 _f |
||
| 950 | _c | ||
| 964 |
_a _ben _c _d _ee-Thesis _fhttps://etd.iisc.ac.in/handle/2005/5962 _g |
||
| 965 | _a | ||
| 999 |
_c426887 _d426887 |
||