Personal Information
Unternehmen/Arbeitsplatz
Moscow, Russian Federation Russian Federation
Beruf
Researcher
Branche
Technology / Software / Internet
Webseite
blog.llkl.org
Info
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
Mehr anzeigen
- Präsentationen
- Dokumente
- Infografiken