Skip to content

DEV Community

# formalmethods

👋 Sign in for the ability to sort posts by relevant, latest, or top.

May 31

Distributed Snapshots: Chandy-Lamport protocol

#distributedsystems #formalmethods #tla

2 min read

Jun 3

Introducing FizzBee: Simplifying Formal Methods for All

#architecture #systemdesign #formalmethods #distributedsystems

8 min read

Mar 21

Increasing confidence in your software with formal verification

#testing #formalverification #formalmethods

10 min read

Cheshire Cat for AWS Community Builders

Mar 28

Solving AWS Network Puzzles with Mathematics - Part 1

#security #network #aws #formalmethods

7 min read

Oct 29 '23

TLA+ is easy if you know how to abstract

#tlaplus #formalmethods #abstraction

2 min read

Elixir UTFPR (por Adolfo Neto)

Nov 23 '21

Raciocínio Automatizado com Leonardo de Moura, Pesquisador na Microsoft Research

#lean #leanprover #formalmethods

1 min read

Jun 23 '20

Automated Attacker Synthesis for Distributed Protocols

#formalmethods #synthesis #security #protocol

5 min read

loading...