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
- Documentos
- Infografías