Compares implementation models against specifications via branching bisimilarity.
Summary
Functions
Compares an ImplModel against its Specification using bisimilarity checking.
Functions
@spec bisimilar_to_specification?(Spex.ImplModel.t()) :: boolean()
Compares an ImplModel against its Specification using bisimilarity checking.
Returns true if the implementation model is bisimilar to the specification, false otherwise.