Sponsor of the Day:
Jerkmate
https://rubykaigi.org/2026/presentations/ohbarye
From Formal Specification to Property Based Test - RubyKaigi 2026
RubyKaigi 2026, #rubykaigi
formal specificationproperty basedrubykaigi 2026test
https://ctan.org/topic/formal-spec
CTAN: Formal specification
formal specificationctan
https://www.rfc-editor.org/rfc/rfc904
RFC 904: Exterior Gateway Protocol formal specification
gateway protocolformal specificationrfc904exterior
https://www.linuxfoundation.org/webinars/writing-a-formal-it-specification?hsLang=en
Writing a Formal IT Specification
Get insights from the best open source projects and people. View one of our upcoming or on-demand webinars on topics from Kubernetes to security.
writingformalspecification