×

zbMATH — the first resource for mathematics

Testing shared memories. (English) Zbl 0885.68023

MSC:
68M15 Reliability, testing and fault tolerance of networks and computer systems
68M07 Mathematical problems of computer architecture
68Q60 Specification and verification (program logics, model checking, etc.)
68W15 Distributed algorithms
PDF BibTeX XML Cite
Full Text: DOI