Andre Rodrigues da Silva

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
Nowadays, there is a lot of technology that must not fail at any circumstances. A car airbag is a simple reactive system that must work every time the car crashes. In order to model problems like this, there are some model-checking applications that can help us do the job. In this paper a well known case study will be modeled and verified in Uppaal and some(More)
  • 1