Formal Modeling and Verification for MVB
Multifunction Vehicle Bus (MVB) is a critical component in the Train Communication Network (TCN), which is widely used in most of the modern train techniques of the transportation system.How to ensure security of MVB has become an important issue.Traditional testing could not ensure the system correctness.The MVB system modeling Damiana and verific