28:06A generic hardware in-order pipeline arch model to capture key temporal properties - Mamoun FilaliTLA+ - The Temporal Logic of Actions67 views·6 days ago
25:57Systematic API Testing through Model Checking and Executable Contracts - Ana Catarina RibeiroTLA+ - The Temporal Logic of Actions72 views·6 days ago
16:33Extensible Proof Decomposition Rules for TLAPS - Karolis PetrauskasTLA+ - The Temporal Logic of Actions59 views·6 days ago
25:59Interactive symbolic testing with TLA+, Apalache, and LLMs - Igor KonnovTLA+ - The Temporal Logic of Actions147 views·6 days ago
52:51Thinking in TLA+ Modeling Judgment for System Design - Murat DemirbasTLA+ - The Temporal Logic of Actions289 views·6 days ago
28:34Verifying Differential Privacy in TLA+ - Ugur YavuzTLA+ - The Temporal Logic of Actions43 views·6 days ago
22:34Multi-Modal verification of Transition Systems - George PîrleaTLA+ - The Temporal Logic of Actions170 views·6 days ago
23:10Compositional Strategy for Verifying Fault-Tolerant Dynamic Task Graph Scheduling - Quentin DelameaTLA+ - The Temporal Logic of Actions59 views·1 week ago
17:52Model-based Testing of Practical Distributed Systems in Actor Model - I. Kokorin & E. ChernatskyTLA+ - The Temporal Logic of Actions156 views·1 week ago
24:15Towards Language Model Guided TLA+ Proof Automation - Yuhao Zhou and Stavros TripakisTLA+ - The Temporal Logic of Actions118 views·1 week ago
2:53Runtime Module Instantiation in the TLA+ DebuggerTLA+ - The Temporal Logic of Actions65 views·4 months ago
0:59Halt (Break) on Init and Next when the next-state relation is falseTLA+ - The Temporal Logic of Actions111 views·4 months ago
4:55Interactive State-Space Navigation with Successor Selection and BacktrackingTLA+ - The Temporal Logic of Actions138 views·4 months ago
1:09:40Specula Generating TLA+ Specifications from System Code using Generative AITLA+ - The Temporal Logic of Actions862 views·5 months ago
1:11:35Grant Result from Fully Compositional Inductive Invariant Inference in TLA+ - 09302025TLA+ - The Temporal Logic of Actions115 views·7 months ago
3:20River Crossing with a Flashlight with GenAI-accelerated TLAi+TLA+ - The Temporal Logic of Actions178 views·11 months ago
5:56Announcement TLA+ Community Event 2025 GenAI-accelerated TLA+ challengeTLA+ - The Temporal Logic of Actions299 views·1 year ago
32:29Andrew Helwer - It’s never been easier to write TLA⁺ tooling!TLA+ - The Temporal Logic of Actions382 views·1 year ago
29:07A. Jesse Jiryu Davis - Are We Serious About Using TLA+ For Statistical PropertiesTLA+ - The Temporal Logic of Actions378 views·1 year ago
50:59Murat Demirbas & Will Schultz - TLA+ Modeling of MongoDB TransactionsTLA+ - The Temporal Logic of Actions193 views·1 year ago
41:30M. Filali - Formal models for monotonic pipeline architecturesTLA+ - The Temporal Logic of Actions80 views·1 year ago
28:43Konstantin Läufer & George K. Thiruvathukal - TLA+ for All Model Checking in a Python NotebookTLA+ - The Temporal Logic of Actions164 views·1 year ago
3:13Guillaume DI FATTA - Translating C to PlusCal for Model Checking of Safety Properties (Q&A)TLA+ - The Temporal Logic of Actions67 views·1 year ago
41:15Finn Hackett & Ivan Beschastnikh - Automating Trace Validation with PGoTLA+ - The Temporal Logic of Actions97 views·1 year ago
52:40Srinidhi Nagendra - ModelFuzz Model guided fuzzing of distributed systemsTLA+ - The Temporal Logic of Actions182 views·1 year ago
22:47ModelFuzz Model guided fuzzing of distributed systems - Srinidhi NagendraTLA+ - The Temporal Logic of Actions127 views·1 year ago
37:39Translating C to PlusCal for Model Checking of Safety Properties on Source - DI FATTA GuillaumeTLA+ - The Temporal Logic of Actions189 views·1 year ago
15:12TLA+ Conf - William Schultz - Towards Interactive Formal SpecsTLA+ - The Temporal Logic of Actions735 views·2 years ago
