Issues · Jonas Blatt / Verification for Decision Model and Notation · GitLab

Snippets Groups Projects

There was a problem fetching labels.

Issue Verifier: Unreachable rules

#41 created 5 years ago by Jonas Blatt
Backend Feature Verifier
updated 5 years ago
Issue Verifer: Check for "Multitables"

#38 created 5 years ago by Jonas Blatt
Backend Feature Verifier
updated 3 years ago
Issue Boundary Implementation for Disjunction and Negation

#29 created 5 years ago by Jonas Blatt Nice to have
Backend Feature
updated 5 years ago
Issue Different verification classifications for different outputs

#18 created 5 years ago by Jonas Blatt KW 45 (Nov 4, 2019–Nov 10, 2019)
Backend Feature Verifier
updated 3 years ago
Issue Note hit policy

#16 created 5 years ago by Jonas Blatt KW 45 (Nov 4, 2019–Nov 10, 2019)
Backend Feature Verifier
updated 3 years ago