Is the latest version of P still "interpreting its operational semantics in the explicit-state model checker Zing"? #800

AnDongLi started this conversation in General

AnDongLi
Oct 23, 2024

If yes, is there any document describe the details?

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment