hax icon indicating copy to clipboard operation
hax copied to clipboard

Compare Rust verification tools

Open clementblaudeau opened this issue 7 months ago • 3 comments

There are many rust verification tools being developed, with different use-cases and features. It would be very useful to do the zoology of rust tools, i.e. to understand their defining characteristics. The list of tools should include, at least:

  • [ ] hax
  • [ ] Creusot
  • [ ] Aeneas
  • [ ] Kani
  • [ ] Verus
  • [ ] Flux
  • [ ] RefinedRust
  • [ ] Gillian-Rust

clementblaudeau avatar May 28 '25 16:05 clementblaudeau

Gillian-Rust author here, happy to have a quick call to clarify what our prototype can do :)

giltho avatar May 30 '25 01:05 giltho

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

github-actions[bot] avatar Aug 07 '25 00:08 github-actions[bot]

Still very much relevant

clementblaudeau avatar Aug 07 '25 07:08 clementblaudeau