An intermediate design language and its analysis
- 1 November 1998
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 23 (6) , 121-130
- https://doi.org/10.1145/288195.288282
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Isomorph-free model enumerationACM Transactions on Programming Languages and Systems, 1998
- Checking relational specifications with binary decision diagramsPublished by Association for Computing Machinery (ACM) ,1996
- Elements of style: analyzing a software design feature with a counterexample detectorIEEE Transactions on Software Engineering, 1996
- Faster checking of software specifications by eliminating isomorphsPublished by Association for Computing Machinery (ACM) ,1996
- A Formalization of Set Theory without VariablesPublished by American Mathematical Society (AMS) ,1987
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960