Text this: Partial-Order methods for the verification of concurrent systems