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.

Requirements/Specifications (acm D.2.1), Software/Program Verification (acm D.2.4), CODING AND INFORMATION THEORY (acm E.4)
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (msc 68N30), Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (msc 68P30)
CWI
Software Engineering [SEN]

van Langevelde, I.A. (2001). A compact file format for labeled transition systems. Software Engineering [SEN]. CWI.