Related Articles

Articles tagged by formal methods

Home

Categories

Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23

Authors: Nicolas Berthier
Date: 2023-01-12
Category: Formal Methods
Tags: Java, security, tooling, static analysis, formal methods, formal verification, Development Tools

We are excited to announce that Nicolas will present a paper at the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) the 16th and 17th of January. This year, VMCAI is co-located with the Symposium on Principles of Programming Languages (POPL) conference, ... (Read more)

[Interview] Sylvain Conchon joins OCamlPro

Authors: Aurore Dombry
Date: 2020-06-06
Category: OCamlPro
Tags: formal methods, interview, sylvain, conchon

On April 2020, Sylvain Conchon joined the OCamlPro team as our Chief Scientific Officer on Formal Methods. Sylvain is a professor at University Paris-Saclay, he has also been teaching OCaml in universities for about 20 years. He is the co-author of Apprendre à programmer avec OCaml with Jean-Christ... (Read more)

[Interview] Sylvain Conchon rejoint OCamlPro

Authors: Aurore Dombry
Date: 2020-06-05
Category: OCamlPro
Tags: formal methods, interview, sylvain, conchon, fr

Sylvain Conchon vient de rejoindre OCamlPro en tant que Chief Scientific Officer Méthodes Formelles. Professeur à l’Université Paris-Saclay, il travaille dans le domaine de la démonstration automatique pour la preuve de programmes et le model checking pour systèmes paramétrés. Il est aussi ... (Read more)