User Activity

  • Posted a comment on ticket #13 on RODIN

    Hello, Yes, this is a transition that works for a set of instances. At least for...

  • Created ticket #18 on RODIN

    Names of SM

  • Posted a comment on ticket #11 on RODIN

    I think this issue can be removed since I thought that in a refined state-machine...

  • Created ticket #347 on RODIN

    Predicates separation in Theories

  • Created ticket #743 on RODIN

    Error while running tool (Automatic Proof Obligation Manager)

  • Created ticket #15 on RODIN

    SM generation - states not updated

  • Posted a comment on ticket #739 on RODIN

    Hello Lauren, I will describe the scenario where it happen. Being in the proving...

  • Posted a comment on ticket #12 on RODIN

    Sample: Relation ∈ SETA ↔ SETB It can not be initialized from the diagram like: Relation...

View All

Personal Data

Username:
diazl
Joined:
2015-02-23 08:07:30
Location:
Madrid / Spain / CEST
Gender:
Male

Projects

  • No projects to display.

Personal Tools