Salsa: Beyond Model Checking

Abstract

The Verification Problem: Given the following: * A system description * A set of environmental assumptions * A set of required properties (one-state or two-state) -- Verification is the process of: * Extracting models from the system description. Sufficient to establish the properties of interest. * Applying a verification tool to the model to verify/refute properties. Very likely that a property is not provable (or wrong).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2001
Accession Number
ADA465149

Entities

People

  • Ramesh Bharadwaj

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Human Systems
  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Automatic
  • Computers
  • Information Operations
  • Instructions
  • Language
  • Military Research
  • Push Buttons
  • Specifications
  • Standards
  • Verification
  • Websites

Fields of Study

  • Computer science

Readers

  • Mathematical Modeling and Probability Theory.
  • Structural Health Monitoring of Composite Structures.