Spex.BisimilarityChecker.MercWrapper (spex v0.1.0)

Rust NIF wrapper used to execute bisimilarity checks.

Summary

Functions

Compares implementation and specification LTS data for branching bisimilarity.

Functions

compare_bisimilarity(impl_data, spec_data)

@spec compare_bisimilarity(impl_data, spec_data) :: boolean()
when impl_data: {[Spex.transition()], Spex.state()},
     spec_data:
       {[Spex.state()], [Spex.action()], [Spex.transition()], Spex.state()}

Compares implementation and specification LTS data for branching bisimilarity.