Title: Correct system design
Subjects: Computer systems, Reliability, System design, Linguagem de programacao (outras), Systèmes, Conception de, Théorèmes, Systèmes informatiques, Fiabilité, Démonstration automatique, Ordinateurs, Computers, reliability