1,387 followers Software Engineering @ComputerPapers From Model Checking to Runtime Verification and Back. https://t.co/KgOv144auG 01 Jun 2018 Reply Repost Favourite