Federico Ponzi

I've just published another article on TLA+: https://blog.fponzi.me/2023-10-30-wolf-goat-cabbage.html

I described my model for the Wolf, Goat and Cabbage problem (https://en.m.wikipedia.org/wiki/Wolf,_goat_and_cabbage_problem) in TLA+.
Let me know what you think!
#tla_plus #formal_methods

Wolf, goat and cabbage problem

In this article, I'm going to share my modeling process to the Wolf, goat and cabbage problem in TLA+. As explained in my [previous...

Oct 30, 2023 at 4:49pmWeb