The issue with open programs
TODO: write about how when and where to stub library calls and how to get specification language into the game.
Go back to intermediate language.
What we learned while building JayHorn.
TODO: write about how when and where to stub library calls and how to get specification language into the game.
Go back to intermediate language.