Formal Techniques for Networked and Distributed Systems – FORTE 2004

DOI10.1007/B100576MaRDI QIDQ5464484zbMATH OpenOpenAlexFDO

Authors May Haydar, Alexandre Petrenko, Houari A. Sahraoui

Publication date 18 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100576

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Network design and communication in computer systems (68M10)

Recommendations

• WAVer: a model checking-based tool to verify web application design
• Specification and verification of data-driven Web applications
• Software model checking
• Modeling and model checking web services
• Using a Petri net model approach to web applications testing

Cited in

(10)

• scientific article; zbMATH DE number 2036249 (Why is no real title available?)
• On the automated verification of web applications with embedded SQL
• scientific article; zbMATH DE number 1798186 (Why is no real title available?)
• The relation between preset distinguishing sequences and synchronizing sequences
• Declarative layout constraints for testing web applications
• ASM-based formal design of an adaptivity component for a cloud system
• Hardness and inapproximability of minimizing adaptive distinguishing sequences
• Lower bounds on lengths of checking sequences
• WAVer: a model checking-based tool to verify web application design
• Automated specification and verification of web-based applications

Describes a project that uses

Uses Software

• Bandera
• SPIN

This page was built for publication: Formal Techniques for Networked and Distributed Systems – FORTE 2004

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