septract/starling-tool

An automatic verifier for concurrent algorithms.

语言：F# · GitHub 星标：8 · Fork：4

话题：concurrency · formal-methods · logic · proof · verification

在 GitHub 上查看原仓库