Benevides' Blog

This is the place where I dump my Org ROAM notes.

Modules (BEAM)

2026-10-05

Operating Systems

2026-09-27

BEAM

2026-08-13

Counterexamples and Witnesses

2026-08-10

The Erlang Type System and Tags

2026-08-03

Erlang Process

2026-08-03

Büchi Automata

2026-07-30

erlc

2026-07-23

Calculus of Communicating Systems

2026-07-23

Promela

2026-07-23

SPIN

2026-07-23

Automata-Based LTL Model Checking

2026-07-20

Safety Properties

2026-07-18

Liveness Properties

2026-07-18

Computational Tree Logic

2026-07-16

Linear Temporal Logic

2026-07-16

Invariants

2026-07-14

Process

2026-07-08

Ring

2026-06-24

GNU/Guile

2026-06-14