Alexander Godlevsky

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
The main goal of the paper is finding of pre-and post-invariants for transitions between symbolic states in the system that must be verified and use them for verification purposes. Systems are specified by basic protocols [1]. This specification defines a transition system with transitions s → s where s and s are symbolic states, b is a basic protocol. The(More)
  • 1