Gennady Chugunov

Verification of Erlang programs: factoring out the side-effect-free fragment

Dilian Gurov, Gennady Chugunov, 2000 .

Reasoning about side-effect free erlang code in a modala#956;-calculus based verification framework

Gennady Chugunov, 2004 .

Checking Absence of Illicit Applet Interactions: A Case Study

Marieke Huisman, Dilian Gurov, Christoph Sprenger, 2004, FASE.

Model Checking of Multi-Applet JavaCard Applications

Lars-Åke Fredlund, Dilian Gurov, Gennady Chugunov, 2002, CARDIS.

A verification tool for ERLANG

Lars-Åke Fredlund, Dilian Gurov, Thomas Arts, 2003, International Journal on Software Tools for Technology Transfer.

A Tool for Verifying Software Written in

Thomas Noll, Mads Dam, Gennady Chugunov, 2000 .