scientific article; zbMATH DE number 1418460

zbMATH Open0953.68520MaRDI QIDQ4942017FDOQ4942017

Patrice Godefroid

Publication date: 19 March 2000

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

Recommendations

• scientific article; zbMATH DE number 2087620
• scientific article; zbMATH DE number 1953019
• scientific article; zbMATH DE number 1487862
• scientific article; zbMATH DE number 1796126
• Finding symmetry in models of concurrent systems by static channel diagram analysis

zbMATH Keywords

data structuresstate-explosion problem

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Manual and Automatic Exploitation of Symmetries in SPN Models
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS
• Automatic symmetry detection for Promela
• Title not available (Why is that?)
• 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 Q4942017)