Protocol conformance through refinement mappings in cadence SMV

zbMath1119.68033MaRDI QIDQ998103

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)

Related Items (1)

Temporal property verification as a program analysis task

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