Year: 2003
Type: article
Abstract: 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.
Authors: Stefan Blom, Izak van Langevelde, Bert Lisser
Institution: Centrum Wiskunde & Informatica
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W2000271417