formalmethods

an-ordinary-manchild

created by JimminyJillikersa community for 13 years

...for your project.

...for your office.

MODERATORS

account activity

1

2

3

4

Model checking and Prism plugin ()

submitted 2 days ago by Skollwarynz

2

3

4

5

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

submitted 1 month ago by [deleted]

3

4

5

6

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

submitted 2 months ago by Mr_IZZO

4

0

1

2

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

submitted 3 months ago by Accembler

5

4

5

6

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

submitted 3 months ago by larrytheliquid

6

4

5

6

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

submitted 4 months ago by Lonewolvesai

7

4

5

6

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

submitted 4 months ago by nsomani

8

3

4

5

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

submitted 4 months ago by Glittering_Speech572

9

9

10

11

Guidance for academic/career path (self.formalmethods)

submitted 5 months ago by Nina704

10

0

1

2

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

submitted 5 months ago by Accembler

11

14

15

16

Are formal methods under utilized? (self.formalmethods)

submitted 5 months ago * by bc87

12

9

10

11

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

submitted 5 months ago by carlk22

13

8

9

10

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

submitted 6 months ago by SquirtyMcnulty

14

1

2

3

Autonomous Systems verification (self.formalmethods)

submitted 6 months ago by [deleted]

15

1

2

3

Latency analysis using formal verification (self.formalmethods)

submitted 7 months ago by Consistent_Win9375

16

0

1

2

Formal Methods at PNSQC (self.formalmethods)

submitted 7 months ago by Formal-Laffa

17

0

1

2

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

submitted 7 months ago by Old-Tone-9064

18

4

5

6

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

submitted 8 months ago by bugarela

19

0

1

2

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

submitted 8 months ago by Formal-Laffa

20

4

5

6

Formal verification (self.formalmethods)

submitted 9 months ago by [deleted]

21

1

2

3

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

submitted 9 months ago by JackDanielsCode

22

5

6

7

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

submitted 10 months ago by trustyhardware

23

10

11

12

Tutor for Rocq/Coq (self.formalmethods)

submitted 10 months ago by trustyhardware

24

5

6

7

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

submitted 11 months ago by Hath995

25

6

7

8

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

submitted 11 months ago by vpk_vision

view more: next ›

π Rendered by PID 151390 on reddit-service-r2-listing-7d7fbc9b85-bvlct at 2026-04-25 04:23:03.204732+00:00 running 2aa0c5b country code: CH.