Faster checking of software specifications by eliminating isomorphs

• 1 January 1996
• conference paper
• Published by Association for Computing Machinery (ACM)
• p. 79-90
• https://doi.org/10.1145/237721.237733

Abstract

Keywords

• SOFTWARE SPECIFICATION
• FASTER CHECKING
• SATISFIABILITY
• RELATIONAL CALCULUS
• Z NOTATION
• SYMMETRY
• FORMAL SPECIFICATION