Parametric Verification of a Group Membership Algorithm

DOI10.1017/S1471068406002663MaRDI QIDQ5476392zbMATH OpenOpenAlexFDO

Authors Ahmed Bouajjani, Agathe Merceron

Publication date 14 July 2006

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068406002663

zbMATH Keywords

abstractionfault-tolerant protocolsformal verificationparametric counter automata

Mathematics Subject Classification ID

Network protocols (68M12) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Parametric verification of a group membership algorithm
• scientific article; zbMATH DE number 868110
• The complexity of generating and checking proofs of membership
• Constructive membership testing in black-box classical groups.
• On a parity based group testing algorithm

Cited in

(1)

• Parametric verification of a group membership algorithm

This page was built for publication: Parametric Verification of a Group Membership Algorithm

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