scientific article; zbMATH DE number 1418460

zbMATH Open0953.68520MaRDI QIDQ4942017FDOQ4942017

Authors: 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 (20)

• Symmetry reduction for the local mu-calculus
• Title not available (Why is that?)
• Space-reduction strategies for model checking dynamic software
• Extending symmetry reduction techniques to a realistic model of computation
• Effective marking equivalence checking in systems with dynamic process creation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model Checking Software
• 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?)
• Finding symmetry in models of concurrent systems by static channel diagram analysis
• EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS
• Automatic symmetry detection for Promela
• Automated Technology for Verification and Analysis
• Title not available (Why is that?)
• Regular symmetry patterns
• State Isomorphism in Model Programs with Abstract Data Structures
• 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)