WAVer: a model checking-based tool to verify web application design

MaRDI QIDQ2852079zbMATH OpenFDO

Authors D. Castelluccia, M. Mongiello, M. Ruta, R. Totaro

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106002350

Mathematics Subject Classification ID

Internet topics (68M11) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• scientific article; zbMATH DE number 1798186
• Specification and verification of data-driven Web applications
• Computer Aided Verification
• Requirements-driven verification of web services

Cited in

(2)

• scientific article; zbMATH DE number 1798186 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems – FORTE 2004

This page was built for publication: WAVer: a model checking-based tool to verify web application design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852079)