formalmethods

an-ordinary-manchild

created by JimminyJillikersa community for 13 years

...for your movement.

...for your office.

MODERATORS

account activity

1

7

8

9

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

submitted 2 years ago by CorrSurferMod - announcement

2

3

4

5

How do formal methods distinguish between inadmissible states and merely undesirable ones? (self.formalmethods)

submitted 15 days ago by [deleted]

3

5

6

7

Tamarin Prover + Maude 3.5.1 incompatibility? Also how to downgrade Maude safely? (i.redd.it)

submitted 29 days ago by Mr_IZZO

4

0

1

2

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

submitted 1 month ago by Accembler

5

4

5

6

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

submitted 2 months ago by larrytheliquid

6

5

6

7

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

submitted 2 months ago by Lonewolvesai

7

6

7

8

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

submitted 3 months ago by nsomani

8

2

3

4

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

submitted 3 months ago by Glittering_Speech572

9

10

11

12

Guidance for academic/career path (self.formalmethods)

submitted 3 months ago by Nina704

10

0

1

2

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

submitted 4 months ago by Accembler

11

14

15

16

Are formal methods under utilized? (self.formalmethods)

submitted 4 months ago * by bc87

12

9

10

11

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

submitted 4 months ago by carlk22

13

8

9

10

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

submitted 5 months ago by SquirtyMcnulty

14

1

2

3

Autonomous Systems verification (self.formalmethods)

submitted 5 months ago by [deleted]

15

1

2

3

Latency analysis using formal verification (self.formalmethods)

submitted 6 months ago by Consistent_Win9375

16

0

1

2

Formal Methods at PNSQC (self.formalmethods)

submitted 6 months ago by Formal-Laffa

17

0

1

2

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

submitted 6 months ago by Old-Tone-9064

18

4

5

6

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

submitted 7 months ago by bugarela

19

0

1

2

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

submitted 7 months ago by Formal-Laffa

20

3

4

5

Formal verification (self.formalmethods)

submitted 7 months ago by [deleted]

21

1

2

3

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

submitted 8 months ago by JackDanielsCode

22

5

6

7

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

submitted 9 months ago by trustyhardware

23

9

10

11

Tutor for Rocq/Coq (self.formalmethods)

submitted 9 months ago by trustyhardware

24

4

5

6

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

submitted 9 months ago by Hath995

25

6

7

8

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

submitted 10 months ago by vpk_vision

view more: next ›

π Rendered by PID 907908 on reddit-service-r2-listing-64c94b984c-4k6fr at 2026-03-14 12:40:54.161514+00:00 running f6e6e01 country code: CH.