1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering

Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking Collection home page

Author: Tapas Samanta
Guide: Prof. Dipankar Sarkar
DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING
INDIAN INSTITUTE OF TECHNOLOGY, KHARAGPUR
FEBRUARY, 2015

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1
Issue DateTitleAuthor(s)
2015-02Formal Verification of Liveness Properties of Distributed System Protocols by Model CheckingSamanta, Tapas
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1

Discover