Formal Systems Laboratory

K - A Semantic Framework for Programming Languages and Formal Analysis Tools

Abstract. We give an overview of the K framework, following the lecture notes presented by the author at the Marktoberdorf Summer School in year 2016.