Model Checking Safety and Dependability
Model Checking Safety and Dependability Frozen Lake. You want to cross a frozen lake, but beware, it is treacherous! The lake is a rather abstract lake, formed as a rectangle with 6×4 squares. You start at square (1,1)—the start, and you want to move to square (6,4)—the goal. In order to do so, you can […]
Model Checking Safety and Dependability Read More »