A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Compressed and Distributed File Formats for Labeled Transition Systems
2003
Electronical Notes in Theoretical Computer Science
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. 1 The issue of
doi:10.1016/s1571-0661(05)80097-0
fatcat:e4qxqhhl6nge5i2c3rioaz4api