Skip to content

GitLab

Commit d687ca4e authored by Julien Blond's avatar Julien Blond
Browse files

Added Alt-Ergo club presentation

parent 5f4da0be
Show whitespace changes
Inline Side-by-side
Showing with 5 additions and 0 deletions
src/content/formal_methods.md
View file @ d687ca4e
...@@ -31,6 +31,11 @@ for C or [SPARK] for Ada. [Alt-Ergo] is also used ...@@ -31,6 +31,11 @@ for C or [SPARK] for Ada. [Alt-Ergo] is also used
to prove formulas issued from [B] modelizations and from cryptographic protocols to prove formulas issued from [B] modelizations and from cryptographic protocols
verification. verification.
Commercial usage is allowed by joining the [Alt-Ergo] club which is a way for
the [Alt-Ergo] team to get closer to their users, collect their needs,
integrate them in the [Alt-Ergo] roadmap, and ensure sustainable funding for
this project's long-term development.
## Program Verification ## Program Verification
We developped several static analysis enforcing security or safety properties We developped several static analysis enforcing security or safety properties
......
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