Hacker News new | ask | show | jobs
NASA Copilot: A stream-based runtime-verification framework (github.com)
1 points by Aaronmacaron 848 days ago