Crafting Beautiful Code

Formal methods

  • Defining DSL Validation Rules with Alloy

    Introduction DSL (Domain-Specific Language) is becoming increasingly popular. More and more DSLs are developed for solving various domain-specific problems. A well-designed DSL should be easy to use, which requires a… More.

    · ,

    ·

    12–18 minutes

  • Solving car talk puzzle with Alloy

    I have become interested in formal methods lately. In particular, I have been learning Alloy recently. I came across a TLA+ model here, written by Leslie Lamport, who invented TLA+.… More.

    · , ,

    ·

    7–10 minutes

Related Articles

Get updates

Spam-free subscription, we guarantee. This is just a friendly ping when new content is out.

Go back

Your message has been sent