Viet Yen Nguyen is a research engineer at the RWTH Aachen University where he works on the European Space Agency funded COMPASS-project. He conducts research in the area of stochastic model checking and supervises a team of scientific programmers for developing a comprehensive model checking toolset that is usable for the aerospace industry.
Many computer systems nowadays have their 'correctness' checked using sample testing, but this isn't enough where failure can lead to catastrophe. Model Checking techniques are far better because they explore all scenarios and verify whether responses meet expectations in each instance. Now there is publicly available .NET Model Checker that introduces a new way for .NET developers to test their systems… Read more