Presentation of NCFM 2014
- What are formal methods?
- Deductive Verification of C Programs
- Race Detection for Android Applications
- VCC Examples
- Functional correctness via refinement
- Refinement-Based Proofs of Functional Correctness
- Statistical Model Checking
- Architectural Semantics of AADL using Event-B
- Program Analysis for Industrial Automation Systems
- Why should we use formal methods?
- Probabilistic Programming: A Program Analysis Perspective
- Software Development Using Formal Methods
- Validation Methods
- Presentation for CSI Development Airbone
- Formal Methods Assurance Safety