Laboratory Head — Promsky Alexei
The main research line of the Laboratory is to develop methods and tools for verification and analysis of distributed systems. The emphasis is on the investigation of fundamental verification methods based on net and logic models such as Petri nets, event structures, temporal and program logics.
Two experimental systems are under development: the system SPECTRUM for problem-oriented program verification and the ESPV system for verification of Estelle (SDL)- specified communication protocols modeled by modified colored Petri nets.