Keyphrases
- symbolic execution
- hardware designs
- model checking
- computer programs
- java programs
- modular neural networks
- modular structure
- asynchronous communication
- automatic programming
- case study
- information retrieval
- data sets
- intermediate level
- modular architecture
- verification method
- e learning
- concurrent systems
- artificial intelligence