Tools and Algorithms for the Construction and Analysis of SystemsSriram Sankaranarayanan, Natasha Sharygina · First published 2023Open the Tome
Software VerificationRoderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina · First published 2022Open the Tome
Validation of Evolving SoftwareHana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina · First published 2015Open the Tome
