Formal methods and Mathematical logic
Introduction to Formal methods: “Formal Methods” refers to mathematically rigorous techniques and tools for the specification, design and verification of software and hardware systems. this introduction should include but not exclusively: Types of formal methods, pros and cons of each type, introduction on event-B notation, some examples of Industrial applications of formal methods in the aerospace industry, why formal methods should be applied in the industry?, finally , the future of formal methods.
final 150 words, should be about personal opinion on the benefits and drawbacks of applying mathematical logic and formal methods in the industry and why? .