Computing systems are getting ever more ubiquitous, making usdependent on their proper functioning. Therefore we require that theyare correct (i.e. they conform their intended behavior), safe (i.e.itsoperation does not have catastrophic consequences), reliable,available to provide the intended service, and secure (i.e., no userwithout appropriate clearance can access or modify protected data).Guar ...