© 2021. All rights reserved.
Abstract. This invited paper reports the current progress of smart contract verification with the K framework in a language-independent style.