Ameni Chtourou

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
At present, the most common method for verifying that a system met its specifications or to detect unexpected behavior and issues is to perform simulations on the model. This approach is limited by the fact that it is of course impossible to be exhaustive and fully test the system. This is why the need to resort to formal methods, and more particularly to(More)
  • 1