Better verification through symmetry
- 1 August 1996
- journal article
- Published by Springer Science and Business Media LLC in Formal Methods in System Design
- Vol. 9 (1-2), 41-75
- https://doi.org/10.1007/bf00625968
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Algorithms for scalable synchronization on shared-memory multiprocessorsACM Transactions on Computer Systems, 1991
- The directory-based cache coherence protocol for the DASH multiprocessorACM SIGARCH Computer Architecture News, 1990
- Verification of synchronous sequential machines based on symbolic executionLecture Notes in Computer Science, 1990
- Parallel Program DesignPublished by Springer Science and Business Media LLC ,1989
- A fast backtrack algorithm for graph isomorphismInformation Processing Letters, 1988
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Towards reachability trees for high-level petri netsLecture Notes in Computer Science, 1985
- An approach to automating the verification of compact parallel coordination programs. IActa Informatica, 1984
- Myths about the mutual exclusion problemInformation Processing Letters, 1981
- Towards Analyzing and Synthesizing ProtocolsIEEE Transactions on Communications, 1980