An intermediate design language and its analysis
D Jackson - Proceedings of the 6th ACM SIGSOFT international …, 1998 - dl.acm.org
Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of …, 1998•dl.acm.org
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.
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.
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.