Tag
The article describes methods to find missed alarm bugs in the Alive2 formal verification tool by adapting the YARPGen random program generator for differential testing.