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 CTLbased 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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-78800-3_34 | TACAS |
Keywords | Field | DocType |
system modeling,computer hardware,rich ctlbased model checking,communication protocol,efficient symmetry reduction,symbolic tool,system design,symbolic verification,concurrent device-driver verification,symbolic model checking,extensive c,symmetric system,model checking,operating system | Abstraction model checking,Model checking,Computer science,Theoretical computer science,Symmetric systems,Exploit,Software,Systems modeling,Communications protocol,Symbolic trajectory evaluation | Conference |
Volume | ISSN | ISBN |
4963 | 0302-9743 | 3-540-78799-2 |
Citations | PageRank | References |
9 | 0.52 | 12 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Thomas Wahl | 1 | 103 | 10.21 |
Nicolas Blanc | 2 | 154 | 10.09 |
e allen emerson | 3 | 7683 | 1183.13 |