TLA+, Model Checking, Coq, Theorem Proving, Specification Languages
One File, Six Formats: Just Change The Extension
hackaday.com·4d
Hackaday Podcast Episode 332: 5 Axes are Better than 3, Hacking Your Behavior, and the Man Who Made Models
hackaday.com·4d
Loading...Loading more...