Research | A Broadcast Calculus | Model Checking | VSR Extreme++ is the next generation of extreme development. It builds on the ideas of extreme programming, unit testing, pair programming, test driven development and takes them further using ideas such as design by contract, formal methods, etc.