502 B
502 B
| id | title | type | created | modified | tags |
|---|---|---|---|---|---|
| 20250818164800 | Safety Properties | permanent | 2025-08-18T20:48:00Z | 2025-08-18T20:54:35Z |
Safety Properties
Safety properites say that nothing bad ever happens. They often are specified as such using some formal requirement.
In Temporal Logic , they can look like this:
The traffic light will never been red and green at the same time.
G \neg (green \wedge red)
A sort of opposite of safety proprerties is liveness-properties.