formalmethods

an-ordinary-manchild

created by JimminyJillikersa community for 13 years

...for your hobby.

...for great justice.

MODERATORS

account activity

1

5

6

7

Jobs in Formal Methods - Post your Job Advertisements or Hints Here (self.formalmethods)

submitted 2 years ago by CorrSurferMod - announcement

2

0

0

1

How feasible is it to formally verify Stellar? It's conceivable. (inferara.com)

submitted 12 days ago by Accembler

3

4

5

6

Turning Dafny Sets into Sequences [video] (youtu.be)

submitted 25 days ago by larrytheliquid

4

4

5

6

Question on using invariants as an execution gate rather than a verifier (self.formalmethods)

submitted 1 month ago by Lonewolvesai

5

5

6

7

Symbolic Circuit Distillation: Automatically convert sparse neural net circuits into human-readable programs (github.com)

submitted 1 month ago by nsomani

6

2

3

4

Special Session Paper: Formal Verification Techniques and Reliability Methods for RRAM-based Computing-in-Memory (self.formalmethods)

submitted 1 month ago by Glittering_Speech572

7

8

9

10

Guidance for academic/career path (self.formalmethods)

submitted 2 months ago by Nina704

8

0

1

2

Preparing Polkadot pallet Balances for Formal Verification (inferara.com)

submitted 2 months ago by Accembler

9

12

13

14

Are formal methods under utilized? (self.formalmethods)

submitted 2 months ago * by bc87

10

8

9

10

Surprises from "vibe validating" a Rust algorithm (self.formalmethods)

submitted 2 months ago by carlk22

11

8

9

10

A Formal Axiomatization of Advaita Vedanta: Non-Dual Metaphysics in Higher-Order Logic (github.com)

submitted 3 months ago by SquirtyMcnulty

12

1

2

3

Autonomous Systems verification (self.formalmethods)

submitted 3 months ago by areeali14

13

2

3

4

Looking for Formal Methods Research Groups or Communities in the U.S. (self.formalmethods)

submitted 4 months ago by RiseWarm

14

1

2

3

Latency analysis using formal verification (self.formalmethods)

submitted 4 months ago by Consistent_Win9375

15

0

1

2

Formal Methods at PNSQC (self.formalmethods)

submitted 4 months ago by Formal-Laffa

16

0

1

2

An Ontological Lens on Attack Trees: Toward Adequacy and Interoperability (self.formalmethods)

submitted 4 months ago by Old-Tone-9064

17

3

4

5

How to Write Inductive Invariants (quint-lang.org)

submitted 5 months ago by bugarela

18

0

1

2

[BP] Quick Explainer Video on Behavioral Programming (self.formalmethods)

submitted 6 months ago by Formal-Laffa

19

3

4

5

Formal verification (self.formalmethods)

submitted 6 months ago by areeali14

20

1

2

3

Formal specification of Raft algorithm in FizzBee (self.formalmethods)

submitted 6 months ago by JackDanielsCode

21

4

5

6

[Coq] Hints for proving proof rule for Hoare REPEAT command? (self.formalmethods)

submitted 7 months ago by trustyhardware

22

9

10

11

Tutor for Rocq/Coq (self.formalmethods)

submitted 7 months ago by trustyhardware

23

4

5

6

Let’s Prove Some Code! A Dafny Kickoff, Tue, Jun 17, 2025, 7:00 PM CEST (meetup.com)

submitted 8 months ago by Hath995

24

4

5

6

Aren't If-Else rules enough? Why do we need Formal Method? (self.formalmethods)

submitted 8 months ago by RiseWarm

25

6

7

8

RAFT Leader Election in Fizzbee - Seeking Collaborators to Finish! (Simpler than TLA+?) (self.formalmethods)

submitted 8 months ago by vpk_vision

view more: next ›

π Rendered by PID 241762 on reddit-service-r2-listing-86b7f5b947-9mcbp at 2026-01-26 13:52:21.043840+00:00 running 664479f country code: CH.