1. INTRODUCTION

2. BASICS

3. SYSTEM MODELING

4. FORMAL VERIFICATION

5. NORMAL TESTING VERSUS FORMAL VERIFICATION

6. RUN TIME VERIFICATION VS OFFTIME VERIFICATION

7. LITERATURE REVIEW

8. CONCLUSION AND FUTURE WORKS