In Part 1, we enjoyed a fond look back at the many successes that transpired in 2021. Our ‘End-of-Year’ review can be read here. What a year we’ve enjoyed in 2021, from our IDO right through the end-of-year. It’s been a remarkable journey filled with memories and high expectations for the future! The future for … Read more
In Part 1, we enjoyed a fond look back at the many successes that transpired in 2021. Our ‘End-of-Year’ review can be read here. What a year we’ve enjoyed in 2021, from our IDO right through the end-of-year. It’s been a remarkable journey filled with memories and high expectations for the future! The future for … Read more
by Rikard Hjort and Stephen Skeirik Runtime Verification Mar 23, 2020 · 11 min read Welcome to the final installment in the series on formal verification brought to you by Runtime Verification and dlab. If you missed the first three parts, you can find them here: Introducing KWasm, and an intro to symbolic execution An … Read more
