Articles liés

Articles avec le tag formal verification

Site

Catégories

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

Auteurs: Nicolas Berthier
Date: 2023-01-12
Catégorie: 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, ... (Lire plus)

OCamlPro at the JFLA2022 Conference

Auteurs: OCamlPro, Dario Pinto
Date: 2022-07-12
Catégorie: 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... (Lire plus)