An Intermedicate Design Language and Its Analysis

Abstract

A simple relational language is presented that has two desirable properties. First, it is sufficiently expressive to encode, fairly naturally, a variety of software design problems. Second, it is amenable to fully automatic analysis. This paper explains the language and its semantics, and describes a new analysis scheme (based on a stochastic boolean solver) that dramatically outperforms existing schemes.

BibTeX

@inproceedings{Jackson:FSE98,
  author    = {Daniel Jackson},
  title     = {An Intermedicate Design Language and Its Analysis},
  booktitle = {FSE},
  pages     = {121--130},
  publisher = {{ACM}},
  year      = {1998},
}

An Intermedicate Design Language and Its Analysis

Abstract

Related papers