Can a Programming Language Reason About Systems?

Explore a groundbreaking conference talk from Strange Loop 2023 that introduces Fault, a new programming language designed to model and reason about complex systems. Discover how Fault bridges the gap between mathematical proofs and programmer-friendly syntax, enabling users to analyze technical, organizational, and regulatory systems. Learn about different logic programming styles, including model checking, simulation, and symbolic execution, and see practical demonstrations of Fault's capabilities in handling export regulations, microservices architecture, and even solving Sudoku puzzles. Gain insights from Marianne Bellotti, an accomplished author and engineer with extensive experience in data infrastructure, system safety, and engineering leadership, as she presents this innovative approach to system reasoning in a 41-minute presentation.