No public discussions about Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers yet. Start a conversation and share it — your discussion could be the first to appear here (your questions stay private until you choose to share).