An ASIS-based static analysis tool for high-integrity systems

• Authors:

• William W. Pritchett, IV;John D. Riley

• Affiliations:

• DCS Corporation, 1330 Braddock Place, Alexandria, VA;DCS Corporation, 1330 Braddock Place, Alexandria, VA

• Venue:
• Proceedings of the 1998 annual ACM SIGAda international conference on Ada
• Year:
• 1998