Abstraction-Based Approaches to Correct Reactive Software

Abstract

This final reports on our efforts to make abstraction-based reasoning of reactive software possible. Concurrency Workbench, a tool for designs of reactive concurrent systems was enriched to handle programs. The enrichment depends upon notions of abstractions, a technique used in compilers. Furthermore, work was also done on enriching the Concurrency Workbench to deal with probabilistic information regarding errors during a systems execution.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 17, 2001
Accession Number
ADA395324

Entities

People

  • S. P. Iyer

Organizations

  • North Carolina State University

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Abstracts
  • Compilers
  • Computer Science
  • Computers
  • Engineering
  • Language
  • Military Research
  • Models
  • Multithreading
  • North Carolina
  • Petri Nets
  • Probabilistic Models
  • Reasoning
  • Simulations
  • Students
  • Theoretical Computer Science
  • Universities

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Software Engineering.