Title | ||
---|---|---|
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC |
Abstract | ||
---|---|---|
This paper introduces the MIC framework. In section 2 we show the architecture of MIC. To study the model checking algorithms, example system specifications are needed. We describe one example, a central locking system, in more detail in section 3. In section 4 the results of the study about random competition for model checking are shown. |
Year | Venue | Keywords |
---|---|---|
2000 | FBT | model checking |
Field | DocType | Citations |
Graph,Programming language,Model checking,Computer science,Correctness,Formal specification,Finite state,Quality assurance | Conference | 1 |
PageRank | References | Authors |
0.37 | 9 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alexander K. Wißpeintner | 1 | 6 | 1.42 |
Franz Huber | 2 | 1 | 0.37 |
Jan Philipps | 3 | 162 | 16.45 |