Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project

von Hamers, Ruben
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2020)

Discourje: Runtime Verification of Communication Protocols in Clojure

von Hamers, Ruben
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)