Periodic Reporting for period 4 - TUNE (Testing the Untestable: Model Testing of Complex Software-Intensive Systems)

Software-intensive systems pervade modern society and industry. These systems often play critical roles from an economic, safety or security standpoint, thus making their dependability a crucial matter. Developing technologies to verify and validate that complex systems are...