690 followers
Our NASA Formal Methods paper combining flow-pipe & invariant synthesis verification approaches: #springerlink https://t.co/so1jHJtnqx
Our NASA Formal Methods paper combining flow-pipe & invariant synthesis verification approaches: #springerlink https://t.co/so1jHJtnqx