Compressed and Distributed File Formats for Labeled Transition Systems

Stefan Blom, Izak van Langevelde, Bert Lisser


With model checking techniques growing towards maturity, the availability for standardised file formats for labeled transition systems is more important than ever. A number of requirements for file formats are introduced, based on requirements for software, databases and compression. Two candidate formats, SVC I and SVC II are introduced, with the former emphasising compression and the latter focusing on distributed access. The two formats are compared with existing file formats.