Ákos Hajdu

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
Formal verification is becoming more prevalent and often compulsory in the safety-critical system and software development processes. Reachability analysis can provide information about safety and invariant properties of the developed system. However, checking the reach-ability is a computationally hard problem, especially in the case of asyn-chronous or(More)
  • 1