Specifying buffer with TTL.

26 views

Skip to first unread message

unread,

May 3, 2020, 12:59:31 PM5/3/20

to tlaplus

I am pretty new to TLA and formal specification.

Trying to master my skill by solving simple yet practical engineering problems.

Please, review my spec and provide some feedback how it can be improved further.

Thanks.

Reply all

Reply to author

Forward

0 new messages