Automated Technology for Verification and AnalysisS. Akshay, Aina Niemetz, Sriram Sankaranarayanan · First published 2025Open the Tome
Integer Programming GamesMargarida Carvalho, Gabriele Dragotto, Andrea Lodi, Sriram Sankaranarayanan · First published 2025Open the Tome
Verification, Model Checking, and Abstract InterpretationSriram Sankaranarayanan, Ashutosh Trivedi, Krishna Shankaranarayanan · First published 2025Open the Tome
Tools and Algorithms for the Construction and Analysis of SystemsSriram Sankaranarayanan, Natasha Sharygina · First published 2023Open the Tome
Formal Modeling and Analysis of Timed SystemsSriram Sankaranarayanan, Enrico Vicario · First published 2015Open the Tome
