scientific article; zbMATH DE number 2102698

zbMATH Open1046.68501MaRDI QIDQ4817536FDOQ4817536

Laurent Fribourg, Béatrice Bérard

Publication date: 24 September 2004

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

Mathematics Subject Classification ID

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

Cited In (5)

• 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

   Recommendations

• A compared study of two correctness proofs for the standardized algorithm of ABR conformance 👍 👎
• Title not available (Why is that?) 👍 👎
• Mechanical verification of an ideal incremental ABR conformance algorithm 👍 👎
• Tools and Algorithms for the Construction and Analysis of Systems 👍 👎
• Title not available (Why is that?) 👍 👎

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)