Constraint-based verification of client-server protocols

DOI10.1007/3-540-45578-7_20MaRDI QIDQ4475639zbMATH OpenFDO

Authors Giorgio Delzanno, Tevfik Bultan

Publication date 9 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2239/22390286.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Automatic Verification of Directory-Based Consistency Protocols
• Automatic verification of directory-based consistency protocols with graph constraints
• Constraint-based deductive model checking
• Constraint-based verification of parameterized cache coherence protocols
• scientific article; zbMATH DE number 2222694

Cited in

(7)

• On one application of computations with oracle
• Automatic verification of directory-based consistency protocols with graph constraints
• Automatic Verification of Directory-Based Consistency Protocols
• Cones and foci for protocol verification revisited
• Towards formal specification of client-server interactions for a wide range of internet applications
• Computational Logic in Multi-Agent Systems
• Action language verifier: An infinite-state model checker for reactive software specifications

Describes a project that uses

Uses Software

• CUDD

This page was built for publication: Constraint-based verification of client-server protocols

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