An Introduction to Temporal Logic (With Applications to Concurrency Problems)

• introduction_to_temporal_logic

  2 98 6.5

  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...

• infer

  42 14,693 9.9 OCaml

  A static analyzer for Java, C, C++, and Objective-C

  

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/

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• introduction_to_tempora

  1 - -

Wow, thanks for catching that! I've attempted to fix the proof based on your comment:

https://github.com/Dicklesworthstone/introduction_to_tempora...

Suggest a related project