Normal view MARC view ISBD view

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: TextTextPublisher: Chennai. Chennai Mathematical Institute. c2018Description: iii, 102 pages; 29 cms.Subject(s): VerificationOnline resources: Click here to access online
List(s) this item appears in: 2021-02-25
Item type Current location Call number Status Date due Barcode Item holds
Reports/Dissertations Chennai Mathematical Institute
General Stacks
T MAD (Browse shelf) Available 10833
Total holds: 0

Univ. - Chennai Mathematical Institute; Degree - PhD Computer Science; Sub. on - November 2018. Guide - Prof. Mandayam Srivas and Prof. Peter Schrammel.