Theory of Kleene Algebras (KA) is a generalization regular languages theory.
The KA theory has many practically interesting models.
Moreover, it possesses several good properties, including the decidability and completeness of equational fragment.
In this talk, an overview of various extensions of this theory will be given
(including Kleene algebras with converse, Kleene allegories, Kleene algebras with tests and concurrent Kleene algebras).
to the problem of validation of compiler optimizations and Hoare-style program verification.
Presenter: Eugenii Moiseenko
State University, Stary Peterhof, Universitetski pr., 28