1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

progression: implement verification

Issue #585 new
Bart Bogaerts created an issue

implement finite domain verification and (maybe) symbolic verification using the tranformations in the progression inference.

Comments (0)

  1. Log in to comment
Assignee
Type
proposal
Priority
minor
Status
new
Component
–
Version
–
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!