Specification and Verification of Web Applications in Rewriting Logic.
María AlpuenteDemis BallisDaniel RomeroPublished in: FM (2009)
Keyphrases
- web applications
- asynchronous circuits
- formal verification
- application development
- process algebra
- model checking
- end users
- formal methods
- application developers
- web services
- web browser
- formal specification
- web application development
- concurrent systems
- dynamic content
- active rules
- mashup
- web development
- petri net
- data sources
- website