Verification of a distributed cache memory by using abstractions

This publication has 8 references indexed in Scilit:

• A tool for symbolic program verification and abstraction
  Published by Springer Nature ,1993
• Lazy caching
  ACM Transactions on Programming Languages and Systems, 1993
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• Analysis of discrete event coordination
  Published by Springer Nature ,1990
• “Sometimes” and “not never” revisited
  Journal of the ACM, 1986
• In Transition From Global to Modular Temporal Reasoning about Programs
  Published by Springer Nature ,1985
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
  IEEE Transactions on Computers, 1979
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977