Hacker News new | ask | show | jobs
by irundebian 685 days ago
A similar approach is required in some safety-critical related programming contexts. Search for "safety assurance case".