Abstract Software Specifications and Automatic Proof of Refinement

Claire Dross, Yannick Moy. Abstract Software Specifications and Automatic Proof of Refinement. In Thierry Lecomte, Ralf Pinger, Alexander Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings. Volume 9707 of Lecture Notes in Computer Science, pages 215-230, Springer, 2016. [doi]

Abstract

Abstract is missing.