Bridging the E-Business Gap Through Formal Verification

Since its public emergence in the beginning of the 1990s, the Internet’s role as a carrier of electronic business has increased at an ever growing rate. Many commercial organisations have realised the huge potential for revenue from e-business and are already conducting significant portions of their business online. Accessing the Internet for doing business has become an everyday experience, whether it is for buying books, managing financial accounts or submitting yearly tax reports.