5 ms·M-SDL, the autonomous vehicles verification language, is now open2 points by yoav_hollander 7y ago