DEV Community

# formalmethods

Posts

đź‘‹ Sign in for the ability to sort posts by relevant, latest, or top.
Automated Attacker Synthesis for Distributed Protocols
maxvonhippel profile

Automated Attacker Synthesis for Distributed Protocols

#formalmethods #synthesis #security #protocol
5
Comments
5 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
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
Lean Theorem Prover Tactics
brandonrozek profile

Lean Theorem Prover Tactics

#formalmethods
1
Comments 1
5 min read
Loop Invariants
brandonrozek profile

Loop Invariants

#formalmethods
Comments
2 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
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
Program Verification with Hoare Logic and Dafny
brandonrozek profile

Program Verification with Hoare Logic and Dafny

#formalmethods
Comments
2 min read
Dafny v3.3 Show Countermodel
brandonrozek profile

Dafny v3.3 Show Countermodel

#formalmethods
Comments
2 min read
Jessitron & Avdi Learn About Alloy
avdi profile

Jessitron & Avdi Learn About Alloy

#formalmethods #domainmodeling
Comments
1 min read
Reasoning through Loops in Dafny
brandonrozek profile

Reasoning through Loops in Dafny

#formalmethods
Comments
2 min read
loading...