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
Comments
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