Model-Checking Web Applications with Web-TLR.
María AlpuenteDemis BallisJavier EspertDaniel RomeroPublished in: ATVA (2010)
Keyphrases
- web applications
- model checking
- temporal logic
- formal verification
- automated verification
- application development
- symbolic model checking
- model checker
- timed automata
- end users
- bounded model checking
- formal specification
- computation tree logic
- temporal properties
- epistemic logic
- transition systems
- verification method
- web services
- web application development
- web development
- dynamic content
- concurrent systems
- alternating time temporal logic
- process algebra
- web crawlers
- formal methods
- mashup
- social networks
- expert systems
- artificial intelligence