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