scientific article; zbMATH DE number 1418460
From MaRDI portal
Recommendations
Cited in
(20)- Symmetry reduction for the local mu-calculus
- scientific article; zbMATH DE number 2087620 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 1973976 (Why is no real title available?)
- scientific article; zbMATH DE number 1982199 (Why is no real title available?)
- Model Checking Software
- Manual and Automatic Exploitation of Symmetries in SPN Models
- scientific article; zbMATH DE number 1487862 (Why is no real title available?)
- scientific article; zbMATH DE number 1973975 (Why is no real title available?)
- scientific article; zbMATH DE number 1744968 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 1507205 (Why is no real title available?)
- Regular symmetry patterns
- State Isomorphism in Model Programs with Abstract Data Structures
- scientific article; zbMATH DE number 1953019 (Why is no real title available?)
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)
