Recife - Testing your code with the help of a model checker (by Paulo Feodrippe)

Nov 9, 2021 · London, United Kingdom

[Connection details will be shared 1h before the start time]

The London Clojurians are happy to present:

Title: **Recife - Testing your code with the help of a model checker**
Speaker: **Paulo Feodrippe**
Time: **[masked] @ 18:30 (London time)**
Local time: (click here for local time)

Paulo Feodrippe ( will be presenting

Recife ( is a Clojure library
which leverages TLC, a model checker widely used (in a niche) to check
formal specifications and, with a bit of thinking, to test your
implementation according to this specification.

The talk will not be academic in any way (Paulo is not one) and will
be focused on how it can be applied to your project, show some model
checking trade offs and if it's worth for what you are doing.

Paulo is a Brazilian SE working with Clojure since 2017, very
interested in distributed systems and formal specifications. He has
been working in some OSS projects (e.g. TLC) and it's a enthusiast of
Clojure, FP and dogs.

If you missed this event, you can watch the recording on our YouTube channel:
(The recording will be uploaded a couple of days after the event.)

Please, consider supporting the London Clojurians with a small donation:

Your contributions will enable the sustainability of the London
Clojurians community and support our varied set of online and
in-person events:

- ClojureBridge London: supports under-represented groups discover Clojure
- re:Clojure: our **free** to attend annual community conference
- monthly meetup events with speakers from all over the world
- subscription and admin costs such as domain name & Zoom plan for
larger online meetups

Thank you to our sponsors:

- And many individual sponsors

Event organizers
  • London Clojurians

    An open and friendly community that supports the adoption and practice of Clojure in any of its forms. Clojure is a powerful, productive and fun language, based on LISP and hosted on Java, JavaScript and Microsoft CLR. Due to its simple syntax, Clojure is a great way to learn functional programming. London Clojurians is a very active community with several events per month, including technical talks, coding dojo's, hackdays and a yearly conference. We hope you will join us and increase your knowledge and a

    Recent Events

Are you organizing Recife - Testing your code with the help of a model checker (by Paulo Feodrippe)?

Claim the event and start manage its content.

I am the organizer

based on 0 reviews

Featured Events