Three, three schools: \* Model checking/high level formal specs. Lamport's TLA+,...

		mcguire on Dec 30, 2017 \| parent \| context \| favorite \| on: Ask HN: What was the best CS paper you read in 201... Three, three schools: * Model checking/high level formal specs. Lamport's TLA+, Alloy, possibly Z. There are some good TLA+ things online, I just couldn't get into it. (I feel bad.)