Abstract: Making software dependable is one of most important aspects in safety-critical system such as a nuclear power plant. Dependable programming techniques to get rid of undependable properties, ...