see also the index (by topic, by tool, by reference, by year)
VerifyThis @ ETAPS 2018
http://www.pm.inf.ethz.ch/research/verifythis.html
The VerifyThis competition at ETAPS 2018
- VerifyThis 2018: Array-based queuing lock
- VerifyThis 2018: Array-based queuing lock (alt)
- VerifyThis 2018: Register allocation
- VerifyThis 2018: le rouge et le noir
- VerifyThis 2018: le rouge et le noir (alt)
- VerifyThis 2018: mind the gap
- VerifyThis 2018: mind the gap (alt)
see also the index (by topic, by tool, by reference, by year)