• Analysing Message Sequence Graph Specifications 

      Chakraborty, Joy (2011-03-29)
      Message Sequence Charts are a visual representation of the system specification which shows how all the participating processes are interacting with each other. Message Sequence Graphs provide modularity by easily allowing ...
    • Conflict-Tolerant Features 

      Gopinathan, Madhu (2010-12-07)
      Large, software intensive systems are typically developed using a feature oriented development paradigm in which feature specifications are derived from domain requirements and features are implemented to satisfy such ...
    • Efficient Static Analyses for Concurrent Programs 

      Mukherjee, Suvam (2018-06-29)
      Concurrent programs are pervasive owing to the increasing adoption of multi-core systems across the entire computing spectrum. However, the large set of possible program behaviors make it difficult to write correct and ...
    • Model-Checking Infinite-State Systems For Information Flow Security Properties 

      Raghavendra, K R (2017-02-16)
      Information flow properties are away of specifying security properties of systems ,dating back to the work of Goguen and Meseguer in the eighties. In this framework ,a system is modeled as having high-level (or confidential)events ...
    • A Refinement-Based Methodology for Verifying Abstract Data Type Implementations 

      Divakaran, Sumesh (2018-06-21)
      This thesis is about techniques for proving the functional correctness of Abstract Data Type (ADT) implementations. We provide a framework for proving the functional correctness of imperative language implementations of ...
    • A Theoretical Study of the Synergy and Lazy Annotation Algorithms 

      Jayaram, Sampath (2018-04-03)
      Given a program with assertions, the assertion checking problem is to tell whether there is an execution of the program that violates one of the assertions. One approach to this problem is to explore different paths towards ...