scientific article; zbMATH DE number 2102698

zbMATH Open1046.68501MaRDI QIDQ4817536FDOQ4817536

Authors: Béatrice Bérard, Laurent Fribourg 

Publication date: 24 September 2004

Title of this publication is not available (Why is that?)

Recommendations

• A compared study of two correctness proofs for the standardized algorithm of ABR conformance
• Publication:2754095
• 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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

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