Back to Search
Start Over
Symbolic Model Checking for Self-Stabilizing Algorithms.
- Source :
-
IEEE Transactions on Parallel & Distributed Systems . Jan2001, Vol. 12 Issue 1, p81. 15p. 3 Black and White Photographs, 2 Diagrams, 6 Charts. - Publication Year :
- 2001
-
Abstract
- Discusses automatic verification of self-stabilizing algorithms. Mechanical theorem proving; Process of exploring a finite state space to determine whether or not a given property holds; Symbolic model checking; Verification of self-stabilization using Symbolic Model Verifier.
- Subjects :
- *ALGORITHMS
*SELF-stabilization (Computer science)
*AUTOMATIC theorem proving
Subjects
Details
- Language :
- English
- ISSN :
- 10459219
- Volume :
- 12
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- IEEE Transactions on Parallel & Distributed Systems
- Publication Type :
- Academic Journal
- Accession number :
- 4017731
- Full Text :
- https://doi.org/10.1109/71.899941