this post was submitted on 24 Oct 2024
2 points (100.0% liked)

Clojure programming language discussion

453 readers
1 users here now

Clojure is a Lisp that targets JVM and JS runtimes

Finding information about Clojure

API Reference

Clojure Guides

Practice Problems

Interactive Problems

Clojure Videos

The Clojure Community

Clojure Books

Tools & Libraries

Clojure Editors

Web Platforms

founded 4 years ago
MODERATORS
 

A Gentle Introduction to Formal Methods in Software Engineering

https://flexiana.com/2024/10/a-gentle-introduction-to-formal-methods-in-software-engineering

Formal methods in software engineering are mathematical techniques used to specify, develop, and verify software systems. They provide a rigorous framework for ensuring software correctness, reliability, and safety, which is especially crucial in...

#clojure #clj #cljs !clojure@lemmy.ml @clojure

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here