ICT environments have dramatically changed in both coverage and complexity, with complex modern distributed architectures and mission-critical services and applications in areas such as e-commerce and the Internet of Things. However, determining whether these applications and services are correctly coded against attacks and other problems can be difficult. Here, the author examines the problems and potential solutions that help prove or demonstrate correctness in ICT environments.
['Hiroyuki Sato']
Practical Correctness in ICT Environments