As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
There have been various methods and tools for formal verification of software, thus their usage are not unified. It is difficult to identify suitable methods or tools for each software development and to utilize appropriately them. Moreover, because various stakeholders generally engage in the development, their uneven skill and experience cause difficulty of quality management of the software verification. Therefore, we have developed a formal verification environment for multi-user, multi-method, and multi-platform. More than one developer can formally describe and verify their software specification with the others in dynamic web applications via the environment by any method or tool, simultaneously and cooperatively. They can also share knowledge and experience of the verification on the environment. Consequently, the environment smoothes the verification and supports the development.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.