
-
introduction_to_temporal_logic
An introduction to temporal logic and how it can be used to analyze concurrency
Wow, thanks for catching that! I've attempted to fix the proof based on your comment:
https://github.com/Dicklesworthstone/introduction_to_tempora...
-
Nutrient
Nutrient - The #1 PDF SDK Library. Bad PDFs = bad UX. Slow load times, broken annotations, clunky UX frustrates users. Nutrient’s PDF SDKs gives seamless document experiences, fast rendering, annotations, real-time collaboration, 100+ features. Used by 10K+ devs, serving ~half a billion users worldwide. Explore the SDK for free.
-
I think most development occurs on problems that can't be formally modeled anyway. Most developers work on things like, "can you add this feature to the e-commerce site? And can the pop-up be blue?" which isn't really model-able.
But that's not to say that formal methods are useless! We can still prove some interesting aspects of programs -- for example, that every lock that gets acquired later gets released. I think tools like Infer[0] could become common in the coming years.
[0]: https://fbinfer.com/
-
Wow, thanks for catching that! I've attempted to fix the proof based on your comment:
https://github.com/Dicklesworthstone/introduction_to_tempora...