Later that same year, Yuan Yu wrote the TLC model checker for TLA + specifications which was used to find errors in the cache coherence protocol for a Compaq multiprocessor.
Later that same year, Yuan Yu wrote the TLC model checker for TLA + specifications. TLC was used to find errors in the cache coherence protocol for a Compaq multiprocessor.