Verifying Web Applications Using Bounded Model Checking.
Yao-Wen HuangFang YuChristian HangChung-Hung TsaiD. T. LeeSy-Yen KuoPublished in: DSN (2004)
Keyphrases
- web applications
- bounded model checking
- model checking
- temporal logic
- formal verification
- application development
- linear temporal logic
- web services
- web application development
- end users
- web browser
- application developers
- case study
- dynamic content
- mashup
- formal specification
- formal methods
- business applications
- cooperative
- multi agent systems