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.