This contains the TLA+ specifications and models of the Voucher Transaction System (VTS) as decribed in the RFC3506. It was sourced from https://github.com/byisystems/byihive.
This contains the TLA+ specifications and models of the Voucher Transaction System (VTS) as decribed in the RFC3506. It was sourced from https://github.com/byisystems/byihive.