Skip to content
Navigation menu
Search
Search
Log in
Create account
DEV Community
Close
#
formalmethods
Follow
Posts
Left menu
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
RaciocĂnio Automatizado com Leonardo de Moura, Pesquisador na Microsoft Research
Elixir UTFPR (por Adolfo Neto)
Elixir UTFPR (por Adolfo Neto)
Elixir UTFPR (por Adolfo Neto)
Follow
Nov 23 '21
RaciocĂnio Automatizado com Leonardo de Moura, Pesquisador na Microsoft Research
#
lean
#
leanprover
#
formalmethods
Reactions
3
 reactions
Comments
Add Comment
1 min read
Automated Attacker Synthesis for Distributed Protocols
Max von Hippel
Max von Hippel
Max von Hippel
Follow
Jun 23 '20
Automated Attacker Synthesis for Distributed Protocols
#
formalmethods
#
synthesis
#
security
#
protocol
Reactions
5
 reactions
Comments
Add Comment
5 min read
loading...
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account