IDR - IIT Kharagpur

Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking

Formal Verification of Liveness Properties of Distributed System Protocols by Model Checking

 

Recent Submissions