Mohammad Mousavi

 

 


 

Mohammad Mousavi is a professor of Computer Systems Engineering at Halmstad University. He received his Ph.D. in Computer Science in 2005 from TU Eindhoven. Since then, he has been postdoctoral researcher at Reykjavik University, and assistant and associate professor at TU Eindhoven, He specializes in model-based testing and verification. He is the co-author of more than 100 chapters and scientific papers and a book on "Modeling and Analysis of Communicating Systems."




Customize your search:

E.g., 2017-03-25
E.g., 2017-03-25
E.g., 2017-03-25
Sep 12th 2016

Anyone who has ever designed an embedded system or a communication protocol involving several components executing simultaneously knows that such software is inherently susceptible to bugs. Typical problems include race conditions, deadlocks, and unexpected interplay between different components. The parallel nature of these systems makes it notoriously hard to detect such bugs using testing (timing, e.g., plays a crucial role). This course is designed to provide an introduction to the problems that arise in the design of such systems. It provides ways to model such systems and reason about them.

No votes yet