Commit ee6d34e0 authored by GARION Christophe's avatar GARION Christophe
Browse files

fmics21: minor change in README title

parent b9731716
Frama-C Verification of Paparazzi
=================================
Formal verification of the Paparazzi autopilot
==============================================
This GitLab repository is a fork of Paparazzi UAV autopilot repository
(https://github.com/paparazzi/paparazzi). The aim of this project is
......@@ -28,7 +28,7 @@ _statement contracts_ are used in the proofs, but this feature
has been removed in newer versions.
How to launch the verification process
-------------
--------------------------------------
First, go to the `sw/airborne` directory:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment