Add support for synchronized transitions for under-approximation of reachability

Question

Closed this issue 7 years ago · 0 comments