Skip to content

DEV Community

Georgii

Inferara.com founder, formal methods researcher: Inference, Coq, Rust.

Joined on Apr 12, 2024 https://inferara.com

Work

Inferara founder

Georgii

Feb 24

Commit to marriage with TLA+ pt.2

#programming #tlc #tlaplus

2 min read

Want to connect with Georgii?

Create an account to connect with Georgii. You can also sign in below to proceed if you already have an account.

Already have an account? Sign in

Georgii

Feb 16

Do not die hard with TLA+ pt.1

#programming #tla #modelchecking #temporallogic

12 min read

Georgii

Feb 8

Small and Big Step Semantics

#programming #computerscience

2 min read

Georgii

Feb 1

LTL and CTL Applications for Smart Contracts Security

#ltl #ctl #smartcontract #security

3 min read

Georgii

Jan 25

Why use formal specification

#formalmethods #coq #formalspecification #inference

2 min read

loading...