LHC@Home: a BOINC-based volunteer computing infrastructure for physics studies at CERN

by Barranco Javier, Cai Yunhai, Cameron David, Crouch Matthew, Maria Riccardo De, Field Laurence, Giovannozzi Massimo, Hermes Pascal, Høimyr Nils, Kaltchev Dobrin, Karastathis Nikos, Luzzi Cinzia, Maclean Ewen, McIntosh Eric, Mereghetti Alessio, Molson James, Nosochkov Yuri, Pieloni Tatiana, Reid Ivan D., Rivkin Lenny, Segal Ben, Sjobak Kyrre, Skands Peter, Tambasco Claudia, Veken Frederik Van der, Zacharov Igor
Published 2017-12-01

Use of rippling to automate Event-B invariant preservation proofs

by Lin, Yu Hui
Published 2015