This third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic & nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs
Real-time data processing; Real-time data processingEchtzeitsystemFormale SpezifikationstechnikProgrammverifikationVerifikationHoare-LogikSpezifikationstechnikFormale BeschreibungstechnikAlgebraische SpezifikationBetriebssystemDatenverarbeitungssystem