Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
Maurice H. ter Beek (ISTI-CNR, Pisa, Italy), Alberto Lluch Lafuente, (DTU, Denmark)
TL;DR
The proceedings compile research from WWV 2015, focusing on automated specification and verification techniques for web systems, emphasizing interdisciplinary approaches from formal methods, programming, and software engineering.
Contribution
This collection highlights recent advances in hybrid formal methods and automated verification techniques specifically tailored for web-based systems.
Findings
Enhanced formal verification methods for web systems
Integration of rule-based programming with formal specifications
Improved automation in web system verification processes
Abstract
These proceedings contain the papers presented at the 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), which was held on 23 June 2015 in Oslo, Norway, as a satellite workshop of the 20th International Symposium on Formal Methods (FM 2015). WWV is a yearly interdisciplinary forum for researchers originating from the following areas: declarative, rule-based programming, formal methods, software engineering and web-based systems. The workshop fosters the cross-fertilisation and advancement of hybrid methods from such areas.
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.