New method ensures complex programs are bug-free without testing

A team of researchers have devised a way to verify that a class of complex programs is bug-free without the need for traditional software testing. Called Armada, the system makes use of a technique called ...

1 comment programowanie shish techxplore.com 0

Brak powiązanych.
shish

pytanie czy to rzeczywiście tak jest, czy to tylko kwestia lansowania swojego nowego, super duper toola, który robi wszystko.
trzeba sie dorwać do papiera na ten temat.
also
Microsoft i zrobienie czegoś dobrze