Natasha Sharygina
Natasha Sharygina is an SEI alumni employee.
Verification of Evolving Software via Component Substitutability Analysis
• Technical Report
By Sagar Chaki , Edmund Clarke , Natasha Sharygina , Nishant Sinha
Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends (FY2005)
• Technical Report
By Rosann W. Collins , Sagar Chaki , Peter H. Feiler , John B. Goodenough , Aaron Greenhouse , Jörgen Hansson (University of Skovde) , Alan R. Hevner (University of South Florida) , John J. Hudak , Angel Jordan , Rick Kazman , Richard C. Linger (Oak Ridge National Laboratory) , Mark Pleszkoch , Stacy J. Prowell , Natasha Sharygina , Kurt C. Wallnau , Gwendolyn H. Walton , Charles Weinstock , Lutz Wrage
SAT-Based Predicate Abstraction of Programs
• Technical Report
By Edmund Clarke , Daniel Kroening , Natasha Sharygina , Karen Yorav (IBM)
The ComFoRT Reasoning Framework
• Presentation
By Sagar Chaki , James Ivers , Natasha Sharygina , Kurt C. Wallnau
The ComFoRT Reasoning Framework
• White Paper
By Sagar Chaki , James Ivers , Natasha Sharygina , Kurt C. Wallnau