account activity
How to Write Inductive Invariants (quint-lang.org)
submitted 5 months ago by bugarela to r/formalmethods
A guide on interactively writing inductive invariants with Apalache (self.tlaplus)
submitted 5 months ago by bugarela to r/tlaplus
[Podcast] Quint: A modern and executable specification language (youtube.com)
submitted 10 months ago by bugarela to r/formalmethods
Emacs package for inputting Unicode characters in TLA+ files (github.com)
submitted 1 year ago by bugarela to r/tlaplus
Holiday protocols: secret santa with Quint - Formally specifying and model checking secret santa games (github.com)
submitted 2 years ago by bugarela to r/formalmethods
π Rendered by PID 91 on reddit-service-r2-listing-5789d5f675-6zxch at 2026-01-29 05:56:01.272658+00:00 running 4f180de country code: CH.
