scientific article; zbMATH DE number 1487482

MaRDI QIDQ4493887zbMATH OpenFDO

Authors Jean-François Monin, Francis Klay

Publication date 1999

zbMATH Keywords

ABRATM cellsconformance control

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Communication networks in operations research (90B18)

Recommendations

• A compared study of two correctness proofs for the standardized algorithm of ABR conformance
• Mechanical verification of an ideal incremental ABR conformance algorithm
• scientific article; zbMATH DE number 1670787
• scientific article; zbMATH DE number 2102698
• Correctness proofs for abstract implementations
• Proving the Correctness of the Implementation of a Control-Command Algorithm
• scientific article; zbMATH DE number 2080213
• A proof of protocol correctness

Cited in

(5)

• A compared study of two correctness proofs for the standardized algorithm of ABR conformance
• Mechanical verification of an ideal incremental ABR conformance algorithm
• scientific article; zbMATH DE number 1670787 (Why is no real title available?)
• scientific article; zbMATH DE number 1863473 (Why is no real title available?)
• scientific article; zbMATH DE number 2102698 (Why is no real title available?)

Describes a project that uses

Uses Software

• Coq
• HyTech
• Uppaal

This page was built for publication:

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