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.
Name | Name | Last commit date | ||
---|---|---|---|---|
parent directory.. | ||||
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.