Hacker News new | ask | show | jobs
by wren6991 68 days ago
You need to distinguish safety properties from liveness properties.