Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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.
