DEV Community

# formalmethods

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Beyond Testing: Why Every Software Engineer Should Explore Formal Methods
codeartisan profile

Beyond Testing: Why Every Software Engineer Should Explore Formal Methods

#formalmethods #formalverification #tlaplus #fizzbee
2
Comments
3 min read
Distributed Snapshots: Chandy-Lamport protocol
federico_ponzi profile

Distributed Snapshots: Chandy-Lamport protocol

#distributedsystems #formalmethods #tla
Comments
2 min read
Introducing FizzBee: Simplifying Formal Methods for All
jayaprabhakar profile

Introducing FizzBee: Simplifying Formal Methods for All

#architecture #systemdesign #formalmethods #distributedsystems
2
Comments
8 min read
Increasing confidence in your software with formal verification
stack_builders profile

Increasing confidence in your software with formal verification

#testing #formalverification #formalmethods
Comments
10 min read
Solving AWS Network Puzzles with Mathematics - Part 1
ytaka23 profile

Solving AWS Network Puzzles with Mathematics - Part 1

#security #network #aws #formalmethods
3
Comments
7 min read
TLA+ is easy if you know how to abstract
federico_ponzi profile

TLA+ is easy if you know how to abstract

#tlaplus #formalmethods #abstraction
Comments
2 min read
RaciocĂ­nio Automatizado com Leonardo de Moura, Pesquisador na Microsoft Research
elixir_utfpr profile

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

#lean #leanprover #formalmethods
3
Comments
1 min read
Automated Attacker Synthesis for Distributed Protocols
maxvonhippel profile

Automated Attacker Synthesis for Distributed Protocols

#formalmethods #synthesis #security #protocol
5
Comments
5 min read
loading...