Commit e3a5fd06 authored by Zakaria Chihani's avatar Zakaria Chihani

Typos

parent 0d94f80d
......@@ -15,11 +15,11 @@ let () = Generate.page main [
The Soprano project is funded by the [The French National Research Agency]\
(http://www.agence-nationale-recherche.fr/en/\
project-based-funding-to-advance-french-research/) (ANR). Its main objective is
to improve the reasonning power of current software verification tools in order
to make them more powerful, more efficient and easier to use.
to improve the reasonning capabilities of current software verification tools
in order to make them more powerful, more efficient and easier to use.
During this project, a new framework for the
cooperation of solvers we will be designed. It will focused on model
cooperation of solvers will be designed. It will focused on model
generation and borrowing
principles from SMT (current standard) and CP (well-known in
optimization).
......
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