Current status of formal verification

There is an established working group and RustBelt project. But for quite a while there was no significant news. Can someone close to the project give an update on the current developments in this area, please?

4 Likes

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.