Safety properties in computer science and formal methods refer to conditions that must always be true during the execution of a system to prevent undesirable behaviors. They are critical in ensuring that a system does not reach a 'bad' state, often being verified through techniques like model checking and formal verification.