Personal Information
Organização/Local de trabalho
Moscow, Russian Federation Russian Federation
Cargo
Researcher
Setor
Technology / Software / Internet
Site
blog.llkl.org
Sobre
Github: https://github.com/evdenis
Marcadores
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
Ver mais
Apresentações
(10)Personal Information
Organização/Local de trabalho
Moscow, Russian Federation Russian Federation
Cargo
Researcher
Setor
Technology / Software / Internet
Site
blog.llkl.org
Sobre
Github: https://github.com/evdenis
Marcadores
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
Ver mais