Nigam, Vivek

1. Abstract Effects and Proof-Relevant Logical Relations
   2012/12/22 by Benton, Nick, Hofmann, Martin, Nigam, Vivek · 2 citations
   #D.3.3 #F.3.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures
   2023/04/23 by Vivek Nigam, Carolyn Talcott, Nigam, Vivek +1 · 1 citation
   Computer Science · Engineering · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE)