Related Articles

Articles tagged by formal verification

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)

OCamlPro at the JFLA2022 Conference

Authors: OCamlPro, Dario Pinto
Date: 2022-07-12
Category: OCamlPro
Tags: jfla, Software Heritage, swh, ocaml, Alt-Ergo, fuzzing, mikino, rust, formal verification

In today's article, we share our contributions to the 2022 JFLAs, the French-Speaking annual gathering on Application Programming Languages, mainly Functional Languages such as OCaml (Journées Francophones des Langages Applicatifs). This much awaited event is organised by Inria, the French National... (Read more)