Hardware Verification Integrating Deductive With Algorithmic Technologies

Abstract

The work supported under this grant can be divided into four closely related areas: (1) Verification of real-time and hybrid systems; (2) Static analysis; (3) Automata-based deductive verification of real-time systems; and (4) Abstraction and modularity in deductive verification. The results obtained in these areas have been reported in conference and journal papers referenced in the report. Most of the methods developed have been implemented and evaluated for their utility in the framework of the Stanford Temporal Prover (STeP).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 14, 2002
Accession Number
ADA400799

Entities

People

  • Zohar Manna

Organizations

  • Stanford University

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Abstracts
  • Automata
  • Automatic
  • Case Studies
  • Computations
  • Computer Science
  • Computers
  • Demographic Cohorts
  • Graphical User Interface
  • Hybrid Systems
  • Language
  • Phase Transformations
  • Specifications
  • Systems Engineering
  • Theses
  • Transitions
  • Verification

Fields of Study

  • Engineering

Readers

  • Artificial Intelligence
  • Library and Information Science
  • Mathematical Modeling and Probability Theory.