paulosalem/verum

VErifiable RUby Machines - A Finite-State Machines library for Ruby with formal verification capabilities.

语言：Ruby · GitHub 星标：9 · Fork：0

在 GitHub 上查看原仓库