<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/"><channel><title>Tla on M0LTE's Home</title><link>https://m0lte.uk/tags/tla/</link><description>Recent content in Tla on M0LTE's Home</description><generator>Hugo</generator><language>en-gb</language><copyright>2026 Thomas Fanning</copyright><lastBuildDate>Thu, 12 Nov 2026 14:00:00 +0000</lastBuildDate><atom:link href="https://m0lte.uk/tags/tla/index.xml" rel="self" type="application/rss+xml"/><item><title>Checking the AX.25 state machine with TLA+</title><link>https://m0lte.uk/posts/checking-ax25-with-tla/</link><pubDate>Thu, 12 Nov 2026 14:00:00 +0000</pubDate><guid>https://m0lte.uk/posts/checking-ax25-with-tla/</guid><description>How the AX.25 v2.2 state tables are now checked by two independent tools, how we made sure the checks reach every part of the machine, and what reading the spec twice turned up.</description></item></channel></rss>