Marco A. Feliú, Camilo Rocha, Swee Balachandran. Verification-driven development of ICAROUS based on automatic reachability analysis: a preliminary case study. In Hakan Erdogmus, Klaus Havelund, editors, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. pages 94-97, ACM, 2017. [doi]
Abstract is missing.