VERIFICATION (SOFTWARE ENGINEERING); KOPROZESSOREN (HARDWARE); ZUVERLÄSSIGKEIT + TESTEN + FEHLERTOLERANZ (HARDWARE); COPROCESSORS (HARDWARE); DISTRIBUTED SYSTEMS (COMPUTER SYSTEMS); ZUVERLÄSSIGKEIT + FEHLERTOLERANZ (SOFTWARE ENGINEERING); VERIFIKATION (SOFTWARE ENGINEERING); RELIABILITY + TESTING + FAULT TOLERANCE (HARDWARE); RELIABILITY + FAULT-TOLERANCE (SOFTWARE ENGINEERING); VERTEILTE SYSTEME (COMPUTERSYSTEME)