Abstract
Consider the interaction of populations, in which there are exactly two species, one of which the predators eat the preys thereby affecting each other. In the study of this interaction Lotka-Volterra models have been used. Other non-classical methodologies as Petri nets and first order logic have been employed too. This paper proposes a formal modeling and verification analysis methodology, which consists in representing the interaction behavior by means of a modal logic formula. Then, using the concept of logic implication, and transforming this logical implication relation into a set of clauses, a modal resolution qualitative method for verification (satisfiability) as well as performance issues, for some queries is applied.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
