A template-based approach for the generation of abstractable and reducible models of featured networks

DOI10.1016/J.COMNET.2006.08.009zbMath1119.68022OpenAlexW2099259189WikidataQ59675369 ScholiaQ59675369MaRDI QIDQ856936

Muffy Calder, Alice Ann Miller, Alastair F. Donaldson

Publication date: 14 December 2006

Published in: Computer Networks (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.comnet.2006.08.009

zbMATH Keywords

model checkinginductionabstractionsymmetry reductionfeature interaction

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Spin-to-Grape

This page was built for publication: A template-based approach for the generation of abstractable and reducible models of featured networks