Meeting November 23rd, 2018

• Home
• Meetings
• Dissemination
• External Links

Location: AdaCore, 46 rue d'Amsterdam, 75009 Paris

Programme

• 09h30: Welcome coffee
• 10h00: Introduction: the joint laboratory ProofInUse
  Claude Marché
• 10h10: Challenges for the verification of Rust code
  Jacques-Henri Jourdan
• 11h05: C/C++ code analysis with TIS Analyzer: some challenges for deductive verification
  Benjamin Monate
• 12h00: A Fully Automated Verification of Union-Find
  Jean-Christophe Filliâtre
• 12h55: Lunch break
• 14h00: Frama-C/WP: CFG meets Formulas
  François Bobot
  Frama-C/WP: Region Model
  Loïc Correnson
• 14h55: Partial Support for Access Types in SPARK
  Claire Dross
• 15h50: Perspectives, discussions diverses
• 17h00: End of meeting

Participants

• Andrei Paskevich, LRI/Toccata
• Anne Pacalet, TrustInSoft
• Benjamin Monate, TrustInSoft
• Boris Yakobowski, AdaCore
• Claire Dross, AdaCore
• Claude Marché, LRI/Toccata
• Cláudio Laurenço, LRI/Toccata
• François Bobot, CEA LSL
• Guillaume Melquiond, LRI/Toccata
• Jacques-Henri Jourdan, LRI
• Jean-Christophe Filliâtre, LRI/Toccata
• Johannes Kanig, AdaCore
• Loïc Correnson, CEA LSL
• Léon Gondelmans
• Mário Parreira, LRI/Toccata
• Quentin Bouillaguet, CEA LSL
• Raphaël Rieu-Helft, TrustInSoft & LRI/Toccata
• Stéphane Zimmerman, TrustInSoft
• Sylvain Dailler, LRI/Toccata & AdaCore
• Yannick Moy, AdaCore