scientific article; zbMATH DE number 1418460
From MaRDI portal
Publication:4942017
Recommendations
Cited in
(20)- Automatic symmetry detection for Promela
- Symmetry reduction for the local mu-calculus
- Regular symmetry patterns
- Space-reduction strategies for model checking dynamic software
- Finding symmetry in models of concurrent systems by static channel diagram analysis
- Effective marking equivalence checking in systems with dynamic process creation
- State Isomorphism in Model Programs with Abstract Data Structures
- scientific article; zbMATH DE number 1953019 (Why is no real title available?)
- scientific article; zbMATH DE number 1973975 (Why is no real title available?)
- scientific article; zbMATH DE number 1973976 (Why is no real title available?)
- scientific article; zbMATH DE number 1982199 (Why is no real title available?)
- scientific article; zbMATH DE number 1487862 (Why is no real title available?)
- scientific article; zbMATH DE number 1507205 (Why is no real title available?)
- scientific article; zbMATH DE number 1744968 (Why is no real title available?)
- scientific article; zbMATH DE number 2087620 (Why is no real title available?)
- Extending symmetry reduction techniques to a realistic model of computation
- Automated Technology for Verification and Analysis
- Model Checking Software
- EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS
- Manual and Automatic Exploitation of Symmetries in SPN Models
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)
