•  

Savoir-faire et logiciels open source - TOCCATA

A session at Open World Forum 2013

  • Mohamed Iguernelala
  • Sylvain Conchon

Friday 4th October, 2013

10:00am to 10:15am (PMT)

  • Why : outil de génération de preuves.
  • Alt-Ergo : prouveur spécialement mis au point pour la vérification de programmes.

About the speakers

This person is speaking at this event.
Mohamed Iguernelala

Unknown, Inria

Mohamed Iguernelala is a senior "Research and Development" engineer at
OCamlPro SAS and an associate researcher in the VALS team of
"Laboratoire de Recherche en Informatique" (LRI, UMR 8623). He received
a PhD in Computer Science from Paris-Sud University. During his
thesis, he worked on the enhancement of the Alt-Ergo SMT solver: an
automatic theorem prover for first-order formulas. His research
activities focus on automated reasoning, decision procedures and their
combination in the "Satisfiability Modulo Theories" framework.

This person is speaking at this event.
Sylvain Conchon

Unknown, Inria

Sylvain Conchon est Professeur à l'université Paris-Sud où il enseigne
l'informatique. Il est membre de l'équipe de recherche VALS du LRI
(UMR 8623) ainsi que de l'équipe Toccata du centre Inria Saclay. Ses
travaux de recherche portent sur la démonstration automatique et la
vérification de programmes par model-checking. Il développe le
démonstrateur SMT Alt-Ergo en partenariat avec la société OCamlPro,
ainsi que le model-checker Cubicle avec le soutien du Strategic Cad
Lab d'Intel.

Next session in Gopher (2.06)

10:15am Savoir-faire et logiciels open source - VERIDIS by Pascal Fontaine

Sign in to add slides, notes or videos to this session

Sign in to track this session

Open World Forum 2013

France France, Paris

3rd5th October 2013

Tell your friends!

When

Time 10:00am10:15am PMT

Date Fri 4th October 2013

Where

Gopher (2.06), Beffroi de Montrouge

Short URL

lanyrd.com/scqpmk

Official event site

www.openworldforum.org

View the schedule

Share

See something wrong?

Report an issue with this session