Abstract | ||
---|---|---|
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 13th International Workshop Model Checking Software SPIN 2007. We give a brief overview of the field of software model checking with emphasis on topics that are covered by the selected papers. In our focus are some emerging trends like multi-core model checking together with new high-quality model checking tools, as well as subjects that remain challenging virtually since the establishing of the discipline, like partial-order reduction and abstraction. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/s10009-010-0155-9 | STTT |
Keywords | DocType | Volume |
software model checking,multi-core model checking,brief overview,like partial-order reduction and abstraction. keywords model checking · formal verification of software · partial order reduction · abstraction · model checking tools · multi-core model checking,international workshop model checking,new high-quality model checking,software spin,new wave,model checking software,sttt journal,selected paper,cipline,partial-order reduction,special section,model checking,partial order reduction,formal verification | Journal | 12 |
Issue | ISSN | Citations |
2 | 1433-2787 | 4 |
PageRank | References | Authors |
0.47 | 39 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dragan Bošnački | 1 | 113 | 7.22 |
Stefan Edelkamp | 2 | 1557 | 125.46 |