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

THIS IS AN ONLINE EVENT
[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: 2021-11-09T18:30:00Z
Local time: 18:30 op dinsdag 9 november 2021 in Londen, Verenigd Koninkrijk - Time.is (click here for local time)
RSVP: Recife - Testing your code with the help of a model checker (by Paulo Feodrippe) | Meetup

Paulo Feodrippe (https://twitter.com/pfeodrippe) will be presenting

Recife (GitHub - pfeodrippe/recife: A Clojure model checker (REPLing everything!)) 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:
https://www.youtube.com/c/LondonClojurians
(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:

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