Archived tweet #4181 from the @leastfixedpoint Twitter Archive

Just built my first spin model of a network protocol and verified an LTL property. It's pretty cool! spinroot.com/spin/whatispin…