Describir: A Decade of Software Model Checking with SLAM.