labeled transition systems

Stream: Is there code for X?

[Quinn]

is there code for labeled transition systems, of the kind described in Sangiorgi bisimulation and coinduction, or in principles of model checking?

[Ira Fesefeldt]

as far as I know, not a lot. The thread #Program verification > Model Checking gives some insight in the current projects.