Last released Apr 14, 2022
Library to create and check finite and infinite state transition systems
Supported by