scientific article; zbMATH DE number 2102698

MaRDI QIDQ4817536zbMATH OpenFDO

Authors Béatrice Bérard, Laurent Fribourg

Publication date 24 September 2004

Mathematics Subject Classification ID

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

Recommendations

• A compared study of two correctness proofs for the standardized algorithm of ABR conformance
• scientific article; zbMATH DE number 1670787
• Mechanical verification of an ideal incremental ABR conformance algorithm
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 1487482

Cited in

(8)

• Automated Technology for Verification and Analysis
• A compared study of two correctness proofs for the standardized algorithm of ABR conformance
• Mechanical verification of an ideal incremental ABR conformance algorithm
• Updatable timed automata
• Tools and Algorithms for the Construction and Analysis of Systems
• The power of reachability testing for timed automata
• scientific article; zbMATH DE number 1487482 (Why is no real title available?)
• scientific article; zbMATH DE number 1670787 (Why is no real title available?)

Describes a project that uses

Uses Software

• Uppaal
• Coq

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 Q4817536)