We are studying formal methods when designing hardware systems. A lot of the work is centered around Action Systems for which the Refinement Calculus provides a formalisation of the stepwise development paradigm. Lic., R. Ruksenas , M.Sc., T. Seceleanu , M.Eng.
Publications are available via the home pages of the researchers.
We are also interested in other formalisms, such as Petri nets, Tangram, Synchronized Transitions. We are investigating applications of action systems generally for distributed systems where the distributed system can be a control system, communication network based system etc.