WAVer: A Model Checking-based Tool to Verify Web Application Design.
Daniela CastellucciaMarina MongielloMichele RutaRodolfo TotaroPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- model checking
- web applications
- web application development
- verification method
- formal verification
- temporal logic
- formal methods
- model view controller
- symbolic model checking
- temporal properties
- web browser
- case study
- end users
- concurrent systems
- model checker
- epistemic logic
- automated verification
- reverse engineering
- website
- business process
- design process
- bounded model checking
- expert systems