User Activity

  • Posted a comment on discussion Help on StateChum

    Syed, The current implementation does not use argument values. There is an experimental...

  • Posted a comment on discussion Help on StateChum

    Syed, We did some work on generation of FSM from the Java source code based on symbolic...

  • Posted a comment on discussion Help on StateChum

    Syed, The main repository has now moved to Github, https://github.com/kirilluk/statechum...

  • Committed [r909]

    Moved all the work-in-progress branches to a se...

  • Committed [r908]

    Merged with the ASE branch, corrected K-tails c...

  • Committed [r907]

    Minor improvements from the end of May 2015. St...

  • Committed [r906]

    Share project "XMachineTool_FASE" into "svn+ssh...

  • Committed [r905]

    Started writing label refinement routines that ...

View All

Personal Data

Username:
kirill_uk
Joined:
2004-11-24 23:51:54

Projects

This is a list of open source software projects that Kirill Bogdanov is associated with:

Personal Tools