Formal Verification of Web Applications Modeled by Communicating Automata.
May HaydarAlexandre PetrenkoHouari A. SahraouiPublished in: FORTE (2004)
Keyphrases
- web applications
- formal verification
- model checking
- application development
- bounded model checking
- web browser
- automated verification
- model checker
- end users
- web services
- symbolic model checking
- web application development
- mashup
- application developers
- temporal logic
- flow diagram
- web crawlers
- business applications
- data processing