Linefeed

Some years ago (actually around 20 years ago...) I wrote little Java program called iocoChecker to check if the ioco or uioco conformance relation holds between two transition systems. The tool was used in some academic courses, and later integrated into the JTorX tool.

Since I have been learning Haskell now for a bit, it was a nice exercise to reanimate this tool in Haskell. That was a pretty nice experience, to see how well Haskell is suited to express the data structures and algorithms. Probably it can be done much better, I just finished this brilliant introduction into Haskell called Learn You a Haskell. So, miles to go.

You find the tool, called statehood, on Codeberg.

I plan to extend this tool in several directions, with a focus on symbolic transitions systems.