| Title | A compact file format for labeled transition systems |
| Publication Type | Book Chapter |
| Year of Publication | 2001 |
| Authors | van Langevelde IA |
| Book Title | 556 |
| Pagination | 11 |
| Publisher | Centrum voor Wiskunde en Informatica (CWI) |
| City | ISSN 1386-369X |
| Keywords | compression, file format, labelled transition systems |
| Abstract | 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. |
| URL | http://www.cwi.nl/ftp/CWIreports/SEN/SEN-R0102.ps.Z |