-  [WT]  [Home] [Manage]

[Indietro]
Modalità post: Risposta
Email b i u s sp
Soggetto   (risposta a 3299)
Messaggio
File
URL File
Embed  
Password  (per cancellare post e file)
  • Tipi di file supportati: GIF, JPG, MP3, PNG, SWF
  • Massima dimensione del file 4000 KB.
  • Le immagini più grandi di 250x250 pixel saranno ridimensionate.
  • Ci sono 508 post unici. Vedi catalogo

  • Blotter aggiornato il: 2012-08-26 Vedi/Nascondi Vedi Tutti

File 14745757324.jpg - (550.74KB , 1000x563 , ProgramVerification_BoyaSun_1K.jpg )
3299 Num. 3299
Vorrei l'opinione di Anon.

https://www.quantamagazine.org/20160920-formal-verification-creates-hacker-proof-code/

>Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems. The advances are being used to secure everything from unmanned drones to the internet.

Non sono informaticofag ma mi interessa l'argomento.
>> Num. 3300 quick reply
Se escludi dell'equazione tutto il resto e rimane SOLO il programma allora sì.


Cancella post []
Password  
Segnala post
Motivo