Scalable Safety Verification of Statechart-like Programs Kumar Madhukar
By: Madhukar, Kumar [author.].
Contributor(s): Mandayam Srivas [advisor.] | Peter Schrammel [advisor.] | Chennai Mathematical Institute [parent institute].
Material type:
TextPublisher: Chennai. Chennai Mathematical Institute. c2018Description: iii, 102 pages; 29 cms.Subject(s): VerificationOnline resources: Click here to access online
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Reports/Dissertations | Chennai Mathematical Institute General Stacks | T MAD (Browse shelf) | Checked out | 16/05/2024 | 10833 |
Total holds: 0
Univ. - Chennai Mathematical Institute; Degree - PhD Computer Science; Sub. on - November 2018. Guide - Prof. Mandayam Srivas and Prof. Peter Schrammel.