We explore the “data logic” of TLA^{+}, the means by which TLA^{+} specifications describe a state of computation: its data structures. To do that, we first cover the basics of mathematical logic.

The post is here

Advertisements

Skip to content
# TLA+ in Practice and Theory, Part 2: The + in TLA+

We explore the “data logic” of TLA^{+}, the means by which TLA^{+} specifications describe a state of computation: its data structures. To do that, we first cover the basics of mathematical logic.

The post is here

Advertisements

%d bloggers like this: