Mots-clés
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
Tout plus
Présentations
(9)J’aime
(1)Формальная верификация кода на языке Си
Positive Development User Group
•
il y a 6 ans
Mots-clés
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
Tout plus