Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Natasha Sharygina
December 2005 - Technical Report Verification of Evolving Software via Component Substitutability Analysis

Topics: Software Architecture

Authors: Sagar Chaki, Edmund Clarke, Natasha Sharygina, Nishant Sinha

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.

December 2005 - Technical Report Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends (FY2005)

Authors: Rosann W. Collins, Rick Kazman, Richard C. Linger (Oak Ridge National Laboratory), Mark Pleszkoch, Stacy J. Prowell, Natasha Sharygina, Kurt C. Wallnau, Gwendolyn H. Walton, Charles B. Weinstock, Lutz Wrage, 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

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.

September 2005 - Technical Report SAT-Based Predicate Abstraction of Programs

Authors: Edmund Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav (IBM)

This note presents technical details of a SAT-based predicate abstraction technique used in ComFoRT (component formal reasoning technology).

August 2005 - Presentation The ComFoRT Reasoning Framework

Authors: Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau

Presented: August 2005

July 2005 - White Paper The ComFoRT Reasoning Framework

Authors: Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau

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.

June 2005 - White Paper Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog

Authors: Daniel Kroening, Natasha Sharygina, Edmund Clarke

This paper proposes to use predicate abstraction for verifying RTL Verilog, a technique successfully used for software verification.

April 2004 - Technical Note Overview of ComFoRT: A Model Checking Reasoning Framework

Authors: James Ivers, Natasha 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.