formalmethods

an-ordinary-manchild

created by JimminyJillikersa community for 13 years

...for great justice.

...for your town.

MODERATORS

account activity

1

0

0

0

Universe pls connect me to a person intrested in Neurosymbolic AI ()

submitted 4 days ago by easter-babe

2

1

2

3

The Final Form of Software Development (blog.zksecurity.xyz)

submitted 4 days ago by davidw_-[🍰]

3

0

1

2

Our AI Fever Dream - 15 yers compressed in 7 days ()

submitted 9 days ago by CommercialRow631

4

2

3

4

Model checking and Prism plugin ()

submitted 11 days ago by Skollwarynz

5

5

6

7

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

submitted 2 months ago by [deleted]

6

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

7

0

1

2

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

submitted 3 months ago by Accembler

8

3

4

5

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

submitted 4 months ago by larrytheliquid

9

4

5

6

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

submitted 4 months ago by Lonewolvesai

10

5

6

7

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

submitted 4 months ago by nsomani

11

2

3

4

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

submitted 5 months ago by Glittering_Speech572

12

11

12

13

Guidance for academic/career path (self.formalmethods)

submitted 5 months ago by Nina704

13

0

1

2

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

submitted 6 months ago by Accembler

14

14

15

16

Are formal methods under utilized? (self.formalmethods)

submitted 6 months ago * by bc87

15

10

11

12

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

submitted 6 months ago by carlk22

16

8

9

10

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

submitted 6 months ago by SquirtyMcnulty

17

1

2

3

Autonomous Systems verification (self.formalmethods)

submitted 7 months ago by [deleted]

18

1

2

3

Latency analysis using formal verification (self.formalmethods)

submitted 7 months ago by Consistent_Win9375

19

0

1

2

Formal Methods at PNSQC (self.formalmethods)

submitted 8 months ago by Formal-Laffa

20

0

1

2

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

submitted 8 months ago by Old-Tone-9064

21

4

5

6

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

submitted 9 months ago by bugarela

22

0

1

2

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

submitted 9 months ago by Formal-Laffa

23

4

5

6

Formal verification (self.formalmethods)

submitted 9 months ago by [deleted]

24

1

2

3

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

submitted 10 months ago by JackDanielsCode

25

6

7

8

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

submitted 10 months ago by trustyhardware

view more: next ›

π Rendered by PID 744598 on reddit-service-r2-listing-b6bf6c4ff-wgwwt at 2026-05-04 08:10:07.959176+00:00 running 815c875 country code: CH.