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
The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems
Sign Up to like & getrecommendations! Published in 2020 at "PLoS Computational Biology"
DOI: 10.1371/journal.pcbi.1007651
Abstract: Biological systems are made up of components that change their actions (and interactions) over time and coordinate with other components nearby. Together with a large state space, the complexity of this behaviour can make it… read more here.
Keywords: method flexible; flexible concise; biological systems; beacon calculus ... See more keywords