Periodic Reporting for period 4 - SYMCAR (Symbolic Computation and Automated Reasoning for Program Analysis)

Summary
Daily activities of our society, such as online banking or (semi-)autonomous driving, are routinely run by software. This software is growing in size and functionalities, but its reliability is hardly improving. We are getting used to the fact that software is error-prone and...
More information & hyperlinks
Web resources: http://lkovacs.com/