Personal Information
Organization / Workplace
Moscow, Russian Federation Russian Federation
Occupation
Researcher
Industry
Technology / Software / Internet
Website
blog.llkl.org
About
Github: https://github.com/evdenis
Tags
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
See more
Presentations
(10)Personal Information
Organization / Workplace
Moscow, Russian Federation Russian Federation
Occupation
Researcher
Industry
Technology / Software / Internet
Website
blog.llkl.org
About
Github: https://github.com/evdenis
Tags
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
See more