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: Text

TextPublisher: 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

Holdings ( 1 )
Title notes

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

Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	T KOL Aspects of holography: mainly nAdS2 holography from dimensional reduction and non-relativistic holography for hyperscaling violating Lifshtiz theories	T KRI Equilibria in Bimatrix Games and Stochastic Games: theoretical and computational aspects	T KRI Testing the binary black hole nature of compact binary mergers using gravitational wave observations	T MAD Scalable Safety Verification of Statechart-like Programs	T MUK Static and dynamic complexity of reachability, matching and related problems.	T MUK Holographic Aspects of Hyperscaling Violating Lifshitz Theories.	T MUK Reachability in Timed Automata with Diagonal Constraints and Updates	Next

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

CMI Library

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].

Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser