Natasha Sharygina
Software Engineering Institute
Publications by Natasha Sharygina
-
Verification of Evolving Software via Component Substitutability Analysis
December 01, 2005 • Technical Report
Sagar ChakiEdmund ClarkeNatasha Sharygina
This 2005 report describes the application of the SEI Architecture Tradeoff Analysis Method (ATAM) to the U.S. Army's Warfighter Information Network-Tactical (WIN-T) system.
read -
Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends (FY2005)
December 01, 2005 • Technical Report
Rosann W. CollinsRick KazmanRichard C. Linger (Oak Ridge National Laboratory)
This report describes the IR&D projects that were conducted during fiscal year 2005 (October 2004 through September 2005). In addition, this report provides information on what the SEI has learned in its role as a technology scout for developments over the past year in the field of software engineering.
read -
SAT-Based Predicate Abstraction of Programs
September 01, 2005 • Technical Report
Edmund ClarkeDaniel KroeningNatasha Sharygina
This note presents technical details of a SAT-based predicate abstraction technique used in ComFoRT (component formal reasoning technology).
read -
The ComFoRT Reasoning Framework
August 10, 2005 • Presentation
Sagar ChakiJames IversNatasha Sharygina
Presented: August 2005
read -
The ComFoRT Reasoning Framework
July 01, 2005 • White Paper
Sagar ChakiJames IversNatasha Sharygina
Model checking is a promising technology for verifying critical behavior of software. However, software model checking is hamstrung by scalability issues and is difficult for software engineers to use directly. ComFoRT addresses both of these challenges.
read -
Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
June 01, 2005 • White Paper
Daniel KroeningNatasha SharyginaEdmund Clarke
This paper proposes to use predicate abstraction for verifying RTL Verilog, a technique successfully used for software verification.
read -
Overview of ComFoRT: A Model Checking Reasoning Framework
April 01, 2004 • Technical Note
James IversNatasha Sharygina
This 2004 report describes ComFoRT, a reasoning framework that packages the effectiveness of state-of-the-art model checking in a form that enables users to apply the analysis technique without being experts in its use, and its incorporation in a PECT.
read