Faster Checking of Software Specifications by Eliminating Isomorphs.
Daniel JacksonSomesh JhaCraig DamonPublished in: POPL (1996)
Keyphrases
- written in natural language
- control flow
- software systems
- software tools
- software application
- hardware design
- formal specification
- computer systems
- software development
- source code
- natural language
- model checking
- design patterns
- neural network
- highly efficient
- finite state machines
- test cases
- software packages
- software requirements