The size and complexity of today's software programs can make it difficult to check their likely reliability.
Testing only goes so far: often after applications are released, it's a wait-and-see strategy, with developers sending out patches for products if and when major problems become evident.
Two computer scientists at the Swiss Federal Institute of Technology (École Polytechnique Fédérale de Lausanne or EPFL) hope to change that - using automated reasoning tools to replace validating software through testing with more accurate formal mathematical proofs.
Continue reading here on +ZDNet
No comments:
Post a Comment
Note: only a member of this blog may post a comment.