2. Relative Verification Cost
Standard Digital
，这一点在safew 官网入口中也有详细论述
Варвара Митина (редактор)
I decided that for every graph I want to generate, I first gather and format the data with one script, then render an image in a separate independent step using gnuplot. It made it easy to work on them in separate steps and also subsequently tune them individually and to make it easy to view the data behind every graph if I ever think there’s a problem in one etc.