Keyphrases
- web applications
- formal verification
- model checking
- model checker
- bounded model checking
- application development
- symbolic model checking
- automated verification
- end users
- web browser
- web application development
- web services
- application developers
- business applications
- temporal logic
- flow diagram
- web development
- knowledge representation