Jun 12, 2012: Stefan Blom: The explicit LTS subsystem of LTSmin.

June 12, 2012The explicit LTS subsystem of LTSmin.
Room: Zi 5126Stefan Blom
12:30-13:30

In this talk, we will give an overview of the part of LTSmin that deals with explicit LTSs. The highlights of this subsystem are the GCF file format used by LTSmin to store LTSs on disk and the signature refinement tools for bisimulation reduction.