Abstract
We will describe the experience we have at AT&T with the integration of formal validation tools into the design process of code for our 5ESS® telephone switch. A tool called sdlvalid, for the formal validation of specifications written in the CCITT language SDL, has been in routine usage in one development area since 1989. Use of validation within the constraints of the existing development methodology has met with some success, but the need to develop an integrated approach to large scale development and validation has been identified. The NewCoRe1 project is developing an approach for the systematic application of formal methods for design and verification specifically for use in the context of large scale software development. We seek to integrate a controlled refinement approach with automated support for partial and full validation, and test generation.
Sign-in/Register to access full text options 
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.
