A rewriting logic approach to the formal specification and verification of web applications.
María AlpuenteDemis BallisDaniel RomeroPublished in: Sci. Comput. Program. (2014)
Keyphrases
- web applications
- formal specification
- model checker
- model checking
- asynchronous circuits
- specification languages
- process algebra
- epistemic logic
- concurrent systems
- formal methods
- bounded model checking
- temporal logic
- specification language
- object oriented design
- formal verification
- application development
- protocol specification
- end users
- web browser
- web services
- web application development
- reverse engineering
- software components
- grid workflow
- business rules