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

DOI10.1016/J.COMNET.2006.08.009zbMATH Open1119.68022OpenAlexW2099259189WikidataQ59675369 ScholiaQ59675369MaRDI QIDQ856936FDOQ856936

Authors: M. Calder, Alice Miller, Alastair 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

Recommendations

• scientific article; zbMATH DE number 1796126
• Symmetry reduction for the local mu-calculus
• Objects, Agents, and Features
• Automatic symmetry detection for Promela
• scientific article; zbMATH DE number 1487862

zbMATH Keywords

model checkingsymmetry reductionabstractioninductionfeature interaction

Mathematics Subject Classification ID

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

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

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