Media Summary: Creating and model-checking the PlusCal spec Authors: Igor Konnov, Jure Kukovec, Thanh-Hai Tran Presented at SPLASH 2019. He's the tech lead for the Linux kernel team at arm and he's been using thiele plus to
Creating And Model Checking The Pluscal Spec - Detailed Analysis & Overview
Creating and model-checking the PlusCal spec Authors: Igor Konnov, Jure Kukovec, Thanh-Hai Tran Presented at SPLASH 2019. He's the tech lead for the Linux kernel team at arm and he's been using thiele plus to Scenario: In the first activity, we assume that there are two cars that simultaneously search for parking space. The cars can move ... The majority of Distributed systems are designed as untestable whiteboard drawings. This leads to design flaws that go unnoticed. There's a gap between knowing how to write
