Description: The tool provides a novel modular and tunable approach to binary asynchronous subtyping that derives from the application of abstract interpretation, and in particular string relaxation.

Developed at: UKENT, GSSI

Contacts: Laura Bocchi

Available at: https://anonymous.4open.science/ r/AsynchSubtypingRegex-2905/