WenDi Zhao

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
Automated verification plays vital roles on concurrent system design. PROMELA, as a popular system description language, has been widely used for this purpose. PROMELA models can be analyzed with the SPIN model checker, which is, however, deficient with respect to perform verification under strong fairness. In this work, we represent a translator that can(More)
  • 1