Protocol conformance through refinement mappings in cadence SMV

MaRDI QIDQ998103zbMATH OpenFDO

Authors Sara Van Langenhove

Publication date 10 August 2007

Published in Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.bbms/1170347813

zbMATH Keywords

model-driven software designprotocol state machines

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• scientific article; zbMATH DE number 1796134
• A DFSM-based protocol conformance testing and diagnosing method
• Protocol Verification Via Rigid/Flexible Resolution
• Refinement and verification in component-based model-driven design
• scientific article; zbMATH DE number 2089421

Cited in

(2)

• Temporal property verification as a program analysis task
• Theorem Proving in Higher Order Logics

This page was built for publication: Protocol conformance through refinement mappings in cadence SMV

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