Airport simulation, verified¶
Exercise: See if CN can verify the functions you wrote for the exercise in the testing version of this chapter. Fix them if not. (Our solution requires no annotations besides the pre- and post-conditions.)
Exercise: See if CN can verify the functions you wrote for the exercise in the testing version of this chapter. Fix them if not. (Our solution requires no annotations besides the pre- and post-conditions.)