Applications Of Neural Networks In High Assurance Systems by