Useful projects (according to me):
- the Search for Extra-Terrestrial Intelligence @ Home (SETI@home is a scientific experiment that uses Internet-connected computers in the Search for Extraterrestrial Intelligence (SETI). You can participate by running a free program that downloads and analyzes radio telescope data.)
VTU@home - the Vilnius Gediminas Technical University @ Home (Mathematical Model Checking) (Our lives become very dependent on various software-intensive systems. They include aircraft, aerospace, railways, automotive devices and controls, medical devices. The software that controls such device is a good example of a safety-critical application. It is clear that our ability to detect defects in such systems (software or devices) is essential and testing, verification and validation are the most important issues in the development of such systems.)
