Hacker News new | ask | show | jobs
M-SDL, the autonomous vehicles verification language, is now open (blog.foretellix.com)
2 points by yoav_hollander 2457 days ago