Marcadores
promela
formal verification
cps
spin
services
distributed systems
c#
grammars
optimization
antlr
gcc
compilers
git
bugs
kernel
linux
formal methods
dynamic logic
hoare
wp
contracts .net
frama-c
protocol checking
testing
tdd
fpga
language
non-deterministic
pmbc
floating point
model checking software
francophone
cameroon
france
Ver mais
Apresentações
(9)Gostaram
(1)Формальная верификация кода на языке Си
Positive Development User Group
•
Há 6 anos
Marcadores
promela
formal verification
cps
spin
services
distributed systems
c#
grammars
optimization
antlr
gcc
compilers
git
bugs
kernel
linux
formal methods
dynamic logic
hoare
wp
contracts .net
frama-c
protocol checking
testing
tdd
fpga
language
non-deterministic
pmbc
floating point
model checking software
francophone
cameroon
france
Ver mais