ligurio/practical-fm

Readme
Issues
Stargazers
Watchers

Add PingCap

dgryski opened this issue 6 years ago · 1 comments

dgryski commented 6 years ago

https://github.com/pingcap/tla-plus

ligurio commented 6 years ago

Thanks!

Topics

formal-verification formal-methods tlaplus tla-specification coq software-engineering formal-verification-methods practice

Share to

Contact site admin: Geeks.