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.