A formal approach for run-time verification of web applications using scope-extended LTL.
May HaydarAlexandre PetrenkoSergiy BorodayHouari A. SahraouiPublished in: Inf. Softw. Technol. (2013)
Keyphrases
- web applications
- model checking
- bounded model checking
- formal methods
- application development
- formal specification
- temporal logic
- application developers
- web browser
- end users
- formal verification
- web services
- linear time temporal logic
- web application development
- asynchronous circuits
- business applications
- web development
- flow diagram
- open source
- mashup
- linear temporal logic
- dynamic content
- data model