MTSA / Feature Requests / #13 Add support for LTS bisimulation in FSP

#13 Add support for LTS bisimulation in FSP

Milestone: Next Release (example)

Status: open

Owner: Leandro Nahabedian

Labels: None

Priority: 5

Updated: 2015-02-23

Created: 2015-02-23

Creator: Nicolas D' Ippolito

Private: No

Extend FSP to allow for bisimulation check. For example, bisimilar {C1,C2}.

Discussion

Log in to post a comment.