Denis Efremov

0 Abonné

linux kernel frama-c acsl software quality astraver formal-verification phdays scanning cve lsm formal verification static analysis ispras pdug runtime verification tests zeronighs coccinelle verker hse isola 2018 deductive verification ipfs swarm prototype masterchain summer school hackaton solidity blockchain security policy event-b reports-generation formal-verification-support callgraph meetup linux-kernel c-code perl approof why3

Tout plus

Activité
À propos

How to prove programs

il y a 6 ans • 389 Vues

Automation of rule construction for Approof

il y a 6 ans • 58 Vues

Formal verification of C code

il y a 6 ans • 75 Vues

Practical Language for Extracting Data from Source Codes and Preparing Them for Analysis

il y a 5 ans • 149 Vues

Formal Verification of a Linux Security Module

il y a 5 ans • 47 Vues

Health Insurance Support System (Blockchain Based)

il y a 5 ans • 49 Vues

Deductive verification of unmodified Linux kernel library functions

il y a 5 ans • 49 Vues

CVEhound

il y a 2 ans • 72 Vues

Инструменты тестирования ядра Linux

il y a 2 ans • 50 Vues

Formal verification of operating system kernels

il y a 2 ans • 57 Vues

linux kernel frama-c acsl software quality astraver formal-verification phdays scanning cve lsm formal verification static analysis ispras pdug runtime verification tests zeronighs coccinelle verker hse isola 2018 deductive verification ipfs swarm prototype masterchain summer school hackaton solidity blockchain security policy event-b reports-generation formal-verification-support callgraph meetup linux-kernel c-code perl approof why3

Tout plus