The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.
An historical account of the ProCoS project
Correctness of Concurrent Algorithms
Interfaces and Linking
Run-time Assertions Checking
Formal and Semi-Formal Methods
Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.