Author Info
Name
Affiliation
Papers
MANDAYAM SRIVAS
Chennai Mathematical Institute, Chennai, Tamil Nadu, India
5
Collaborators
Citations 
PageRank 
18
2
1.86
Referers 
Referees 
References 
6
79
29
Title
Citations
PageRank
Year
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system00.342021
2LS: Memory Safety and Non-termination - (Competition Contribution).10.482018
Compositional Safety Refutation Techniques.00.342017
Concurrent Program Verification with Invariant-Guided Underapproximation.00.342017
Verifying synchronous reactive systems using lazy abstraction10.362015