When All Abstraction Is Lost

Explore a novel approach to proving the correctness of concurrent and distributed systems in Scala. Dive into an extension for ScalaTest that offers a DSL for describing system behaviors and employs explicit state model checking. Learn about the concept of model checking and its application in the Scala ecosystem. Watch a demonstration of how this extension can be used to prove the correctness of a real-world Scala system. Gain insights into temporal logic and its role in system verification. Discover the challenges of implementing asynchronous and distributed algorithms, and how this approach can provide more certainty than traditional testing methods. Follow the journey from a normal web application to understanding clusters, caches, and the complexities of distributed systems. Examine the downsides of this approach and explore what's next in the field of system verification for Scala developers.

Introduction
A normal web application
Clusters
Cache
Pain
Tests
Type checking
Tree
Scala Cache
Executor
Exception
Conclusion
Downside
Whats next
Github
More questions