1 paper · 1 filter
Li Huang, Sophie Ebersold, Alexander Kogtenkov +2
The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement…