October 02, 2015Closer to reliable software - Verifying Program Behaviour
Room: CR 1333

Today’s software is large, complex, and error-prone. Although testing can help to detect errors, this is never sufficient to claim the delivered software is bug-free, and thus there remains the risk that errors will occur when the software is already in use.

Program verification is a different technique to improve software quality: it allows one to mathematically prove properties about a program. Such formal verification techniques are challenging to develop and to use, but what they promise is highly valuable. During this symposium several novel program verification techniques techniques will be presented, which have the potential to bring us much closerto reliable software.

 For more information you can check the page: