Installa qui, installa lì

You acknowledge that Licensed Software is not designed or intended for use in the design, construction, operation or maintenance of any nuclear facility.

buono a sapersi, considerata la quantità di software di model checking scritta in Java.