RT Journal Article
T1 Open source verification in an anonymous volunteer network
A1 Breuer, Peter T.
A1 Pickin, Simón James
AB An ‘open’ certification process is characterised here that is not based on any central agency, but rather on the option for any party to confirm any part of the certification process at will. The model for this paradigm has been a distributed, piece-wise, semantic audit carried out on the Linux kernel source code using a lightweight formal method. Our goal is a technology that allows open source developers to receive formally backed certifications for their project, in quid pro quo exchanges of resources and expertise with other developers within an amorphous and anonymous cloud of volunteers. To help ensure the integrity of the results, identifying details such as subroutine and variable names are not included in the data sent for analysis, each part of the computation is repeated many times at different sites, and checkpoint information is generated that enables independent checks to be carried out without starting from scratch each time.
PB Elsevier
SN 0167-6423
YR 2014
FD 2014-10-01
LK https://hdl.handle.net/20.500.14352/134697
UL https://hdl.handle.net/20.500.14352/134697
LA eng
NO Peter T. Breuer, Simon Pickin, Open source verification in an anonymous volunteer network, Science of Computer Programming, Volume 91, Part B, 2014, Pages 161-187, ISSN 0167-6423, https://doi.org/10.1016/j.scico.2013.08.010.
DS Docta Complutense
RD 30 abr 2026