N
Natarajan Shankar
4 works on record
Works

Automated Reasoning
Mechanical verification of a schematic Byzantine clock synchronization algorithm
Mechanical verification of a schematic Byzantine clock synchronization algorithm
Verified Software : Theories, Tools, Experiments
Verified Software : Theories, Tools, Experiments
Automated Formal Methods
Automated Formal Methods