Name
Abstract | ||
|---|---|---|
Model checking techniques have been applied widely for verifying hardware designs and protocols since they can check if the system operates as desired or not without actually running the system. Recently, the usage of model checking for software verification has also been increasingly considered. One notable advantage of the model checking approach is the ability of producing counter-example when detecting undesired problem. However, model checking also suffered some prominent disadvantages which are (i) state explosion problem with non-trivial input space and (ii) over-specific model-based representation of verification results. In this paper, we propose a framework known as MAFSE (Model-bAsed Framework for Software verification) which is still able to make full use of model checking capability for verifying software programs yet overcoming those typical drawbacks by applying appropriate methods. Our framework has been tested with some lab-scaled data and is promising to be applied for industrial software engineering. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1109/SSIRI-C.2010.36 | SSIRI (Companion) |
Keywords | Field | DocType |
model checking capability,verification result,model checking technique,model checking approach,model checking,model-based framework,software verification,state explosion problem,verifying software program,industrial software engineering,undesired problem,counter example,protocols,software engineering,software testing,reliability engineering,hardware,computer science,finite element methods,mathematical model,radiation detectors | Model checking,Computer science,Finite element method,Software,Industrial software,Counterexample,Software verification and validation,Software construction,Computer engineering,Software verification | Conference |
ISBN | Citations | PageRank |
978-1-4244-7644-2 | 3 | 0.44 |
References | Authors | |
0 | 14 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Tho T. Quan | 1 | 19 | 9.86 |
| Duc L. N. Hoang | 2 | 21 | 5.76 |
| Binh T. Nguyen | 3 | 14 | 5.62 |
| An N. Nguyen | 4 | 4 | 0.80 |
| Quan D. Tran | 5 | 3 | 0.44 |
| Phung H. Nguyen | 6 | 5 | 1.15 |
| Thang H. Bui | 7 | 10 | 5.39 |
| Anh T. Do | 8 | 3 | 0.44 |
| Linh V. Huynh | 9 | 3 | 0.44 |
| Nam T. Doan | 10 | 3 | 0.44 |
| Nguyen T. Huynh | 11 | 8 | 1.60 |
| Thien D. Nguyen | 12 | 16 | 3.06 |
| Tam T. Nguyen | 13 | 78 | 6.79 |
| Vu H. Nguyen | 14 | 3 | 0.44 |