Skip to content

Too rough abstraction in model-checker #80

Open
Open
Too rough abstraction in model-checker#80
Labels
about theoryfuture direction

Description

@hai-nguyen-van
hai-nguyen-van
opened on Apr 29, 2020

Possibility to unify states with sporadic having same kind of delay ? Instead of saying just ?

Metadata

Metadata

Assignees

No one assigned

    Labels

    about theoryfuture direction

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions