Abstract

The paper presents the result of work that explored the use of model checking, investigated modeling tools, and developed a process for model checking software systems. A prototype tool for visual modeling was developed and helped the research team understand the role of tools, such as SMV, and clarified the steps involved in the model checking process. The paper summarizes the engineering observations made by team members during their model checking work. These observations were refined through the use of simple challenge problems and organized into a process that highlights some of the practical issues associated with model checking software systems.

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 call

Disclaimer: 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.