massa icon indicating copy to clipboard operation
massa copied to clipboard

Published 20 hours ago • verified publisher icon massalabs

Try to use creusot on Massa node code

Open sydhds opened this issue 1 year ago • 2 comments

  • https://github.com/creusot-rs/creusot

sydhds avatar Feb 26 '24 15:02 sydhds

I talk about this months ago. I would be really interested in such a thing too. https://www.youtube.com/@rustformalmethods some "visual" details here.

bilboquet avatar Feb 27 '24 07:02 bilboquet

And a list of tools here:

  • https://rust-formal-methods.github.io/tools.html

sydhds avatar Feb 27 '24 09:02 sydhds