Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems
Ant\'onio Ravara (New University of Lisbon, Portugal), Josep Silva, (Universidad Polit\'ecnica de Valencia)
TL;DR
This collection presents research on automated methods for specifying and verifying web systems, highlighting recent advances discussed at WWV'13 in Florence, Italy.
Contribution
It compiles recent research papers that introduce new techniques and tools for automated specification and verification of web systems.
Findings
New verification techniques for web systems
Improved automation in web specification
Case studies demonstrating effectiveness
Abstract
This volume contains the accepted papers of the 9th International Workshop on Automated Specification and Verification of Web Systems (WWV'13), which took place in Florence, Italy, on June 6, as a satellite event of the 8th International Federated Conferences on Distributed Computing Techniques (DisCoTec 2013).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.