Verifying systems with replicated components in murϕ
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 147-158
- https://doi.org/10.1007/3-540-61474-5_65
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A new approach for the verification of cache coherence protocolsIEEE Transactions on Parallel and Distributed Systems, 1995
- Verifying parameterized networks using abstraction and regular languagesPublished by Springer Nature ,1995
- A structural linearization principle for processesFormal Methods in System Design, 1994
- On the automatic computation of network invariantsPublished by Springer Nature ,1994
- Verification of a distributed cache memory by using abstractionsPublished by Springer Nature ,1994
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Reasoning about systems with many processesJournal of the ACM, 1992
- Verifying properties of large sets of processes with network invariantsLecture Notes in Computer Science, 1990
- Limits for automatic verification of finite-state concurrent systemsInformation Processing Letters, 1986
- An approach to automating the verification of compact parallel coordination programs. IActa Informatica, 1984