Last released Nov 21, 2023
A bisiumlation data-aware algorithm for Communicating Finite State Machines with edge assertions (knowledge as a-CFSM)
Supported by
