diff --git a/html/using-frama-c.html b/html/using-frama-c.html index d2ffd420ac06236bcc8dcfe5bad3ad7fa3aa6bf8..9901cb57ac4a788a6d875fae7e210962cbfd3729 100755 --- a/html/using-frama-c.html +++ b/html/using-frama-c.html @@ -107,7 +107,7 @@ css: plugin <div id="group_security_defects"> <div class="paragraphGroup"> - <h3>Detect Security Defects</h3> + <h3>Detect security defects</h3> <p>Frama-C allows to verify that the source code complies with a provided formal specification. Functional specifications can be written in a dedicated language, ACSL. The specifications can be partial, concentrating