icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
Home
Publications
Authors
Natasha Sharygina
Natasha Sharygina
Natasha Sharygina is an SEI alumni employee.
All
Verification of Evolving Software via Component Substitutability Analysis
December 1, 2005
•
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)
December 1, 2005
•
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
September 1, 2005
•
Technical Report
By
Edmund Clarke
,
Daniel Kroening
,
Natasha Sharygina
,
Karen Yorav (IBM)
The ComFoRT Reasoning Framework
August 10, 2005
•
Presentation
By
Sagar Chaki
,
James Ivers
,
Natasha Sharygina
,
Kurt C. Wallnau
The ComFoRT Reasoning Framework
July 1, 2005
•
White Paper
By
Sagar Chaki
,
James Ivers
,
Natasha Sharygina
,
Kurt C. Wallnau
More from Natasha Sharygina