An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3146390
Abstract: Formal modeling and verification of a concurrent system is an essential means to ensure the security and reliability of the system. However, at present, there is no single formal method that can fully meet the… read more here.
Keywords: system; event; integrated formal; method ... See more keywords