Model Checking-based Verification of Web Application.
Huaikou MiaoHongwei ZengPublished in: ICECCS (2007)
Keyphrases
- web applications
- model checking
- temporal logic
- formal verification
- automated verification
- model checker
- verification method
- web browser
- partial order reduction
- formal specification
- temporal properties
- web services
- bounded model checking
- symbolic model checking
- transition systems
- web application development
- concurrent systems
- process algebra
- timed automata
- computation tree logic
- learning rails
- asynchronous circuits
- web development
- formal methods
- end users
- linear time temporal logic
- epistemic logic
- automated reasoning
- flow diagram
- case study