Scaling symbolic evaluation for automated verification of systems code with Serval
The Morning Paper
NOVEMBER 12, 2019
Scaling symbolic evaluation for automated verification of systems code with Serval Nelson et al., Serval is a framework for developing automated verifiers of systems software. To invest in formally modelling something, you really need to have a very good idea of what the software needs to do. SOSP’19.
Let's personalize your content