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 preand 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)
A theoretical analysis and design features of parametric CO(2) laser-reception lidar are reported. Stabilized regular laser radiation intensity oscillations are shown to occur under the laser-reception scheme of the return signal. Results are presented for low frequency cavity mirror oscillations and high instantaneous beat frequency. The laser radiation(More)
The paper presents the usage of invariants technique for symbolic modeling and verification of requirements for reactive systems. It includes checking of the safety, completeness, liveness, and consistency properties, deadlocks and livelocks detection. The paper describes the iterative method of double approximation and the method of undetermined(More)
  • 1