Formal Validation of System Specifications

Nancy A. Day

Presented at the FormalWare Open House, University of British Columbia, 8 Oct 1997.

Click here to start

Table of Contents

• Title slide
• Requirements Validation
• Analysis Techniques
• Thesis Topic
• Separation Minima for NAT
• Samples from Spec
• Analysis Results
• Aeronautical Telecommunications Network (ATN)

This page was last updated 09 Oct 1997.