A compact file format for labeled transition systems

A compact open file format for labeled transition systems, which are commonly used in specification and verification of concurrent systems, is introduced. This combination of openness, both in specification and implementation, and compactness is unprecedented, since existing formats in this field are either not compact, yielding files too large to be easily handled, or proprietary, hampering the development of efficient tools. Therefore, the development of this {sc SVC format was initiated to facilitate the development of state-of-the-art tools for the analysis of concurrent systems and communication protocols. The {sc SVC format is specified by its binary layout and the underlying compression scheme, based on Lempel-Ziv and dynamic Huffman encoding. Also, an application programming interface is defined. The compression scheme is compared with existing algorithms.