By Sung-Shik Jongmans We see two major shifts in the last decade: increase in cores, and the move from waterfall to agile. Unit-testing become more widespread. However, what is still lacking is support for multithreading: the interaction between threads when
SEN Symposium – Verification of concurrent software with vercors
By Marieke Huisman Software is everywhere. Failures in it can have enormous impact. All software have errors. Verifying software should become part of software development. It would be great if while developing verification already pops up, similar to current code