Formal Techniques for Networked and Distributed Systems – FORTE 2004

DOI10.1007/B100576zbMATH Open1110.68314OpenAlexW2244752996MaRDI QIDQ5464484FDOQ5464484

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

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

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)

Cited In (10)

• Title not available (Why is that?)
• On the automated verification of web applications with embedded SQL
• Title not available (Why is that?)
• 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

Uses Software

• SPIN
• Bandera

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)