Lamia Allal

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
Model checking has long been used as a means of verification of formal specifications. This is a verification technique of dynamic systems that explores all possible states of the system. It determines whether the given system satisfies its specification. This technique suffers from the state explosion problem when traversing all possible states of systems.(More)
  • 1