The purpose of this library is to provide an implementation of the work done in [1].
References:
[1] Abdulla, P.A., Collomb-Annichini, A., Bouajjani, A. et al. Using Forward Reachability Analysis for Verification of Lossy Channel Systems. Formal Methods in System Design 25, 39–65 (2004). https://doi.org/10.1023/B:FORM.0000033962.51898.1a