Skip to content
Navigation menu
Search
Search
Log in
Create account
DEV Community
Close
#
formalmethods
Follow
Hide
Posts
Left menu
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
Increasing confidence in your software with formal verification
Stack Builders
Stack Builders
Stack Builders
Follow
Mar 21
Increasing confidence in your software with formal verification
#
testing
#
formalverification
#
formalmethods
Comments
Add Comment
10 min read
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
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
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