Automating first-order relational logic
- 1 November 2000
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 130-139
- https://doi.org/10.1145/355045.355063
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Finding bugs with a constraint solverPublished by Association for Computing Machinery (ACM) ,2000
- An intermediate design language and its analysisPublished by Association for Computing Machinery (ACM) ,1998
- Isomorph-free model enumerationACM Transactions on Programming Languages and Systems, 1998
- Managing conflicts in goal-driven requirements engineeringIEEE Transactions on Software Engineering, 1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Elements of style: analyzing a software design feature with a counterexample detectorIEEE Transactions on Software Engineering, 1996
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- A Structure-preserving Clause Form TranslationJournal of Symbolic Computation, 1986
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960