"Let's call this formula the great implication. If we fail to prove the great implication, it is because the system does not verify the specifications. But if we prove it, we are sure that the system satisfies the specification. Moreover, this proof can be seen as a certificate, which can be communicated and even executed. This technique is also more informative than others; the proof tells us why the system verifies the property, which provides explanatory elements and therefore additional confidence."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
Imported from EN Wikiquote
https://en.wikiquote.org/wiki/Amina_Doumane
Revision History
No revisions have been submitted for this quote.
Categories
Amina Doumane
Amina Doumane (September 2, 1990) is a Moroccan computer scientist who on during 2017 won the French Giles-Kahn prize for the best doctoral thesis in France. Her thesis was on the subject On the infinitary proof theory of logics with fixed points. On January 31 2018, Doumane was presented with the award by the French computer science society (SIF).
5 quotes on TrueQuotesView all quotes by Amina Doumane →
Related Quotes
"I have always been interested in the fundamentals of mathematics. To know if all that is true is demonstrable."
"I sent my file through the Paris Diderot University. I was selected and I had a monthly scholarship of 1,700 euros fo…"
"I am currently a research fellow at the CNRS at the LIP. My research interests include proof theory and the study of …"
"If you didn't understand much of what I said, don't worry, that's normal! It's math, and we're not all geniuses."
"Within the framework of a renewed, modernized UNESCO, eager to act more than before, within which it is high time tha…"
"Together we must reject any attempt to establish a hierarchy between cultures, any amalgamation between terrorism and…"
"Together we must strengthen the ethical sense among peoples, work so that we can enrich ourselves from our differences."
"Together, we must strengthen the spirit of ethics among nations and work to ensure that our differences become a sour…"
"Anuran fossils are extremely rare in Morocco. All known specimens discovered to date belong to the Middle Miocene-Hol…"
"Despite this limitation, the available fossils provide a broad view of faunal changes that have occurred since the Mi…"