Etiquetas
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 más
Presentaciones
(9)Recomendaciones
(1)Формальная верификация кода на языке Си
Positive Development User Group
•
Hace 6 años
Etiquetas
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 más