Skip to main content
Conference ProceedingsOPEN ACCESS

SVISS: Symbolic verification of symmetric systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2008) 4963 LNCS 459-462
DOI: 10.1007/978-3-540-78800-3_34
9Citations
Citations of this article
11Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

Sviss is a flexible platform for incorporating efficient symmetry reduction into symbolic model checking. The tool comes with an extensive C++ library for system modeling using BDDs and a rich CTL-based model checking engine. Applications range from communication protocols to computer hardware and multi-threaded software. We believe Sviss to be the first symbolic tool to exploit symmetry in concurrent device-driver verification, which is vital in operating system design. © 2008 Springer-Verlag Berlin Heidelberg.

Cite

CITATION STYLE

APA

Wahl, T., Blanc, N., & Emerson, E. A. (2008). SVISS: Symbolic verification of symmetric systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4963 LNCS, pp. 459–462). https://doi.org/10.1007/978-3-540-78800-3_34

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free