Project

General

Profile

Support #3409

Rethink the FV design and align with CBMD

Added by Anonymous over 2 years ago. Updated over 1 year ago.

Status:
Rejected
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
05/16/2018
Due date:
% Done:

0%

Estimated time:

Description

Some modifications should be made to the current FV design to align it with the CBMD.

ATM I can think of the following:
1) Constraints UI layer which interacts with the user - I think already done
2) Constraints layer which interacts with the constraints UI
3) Analysis layer which contains the relevant transformation and runs the tool and returns the result to the Constraints layer. There should be a common interface for this layer containing: specification and result.
4) An evidence interface
5) Result should contain evidence

History

#1 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.14 RC1 (Feature Freeze) to Backlog

#2 Updated by Anonymous over 1 year ago

  • Assignee changed from Anonymous to Johannes Eder

Please reject. Redesigning formal verification in AF3 is not our focus at the moment.

#3 Updated by Johannes Eder over 1 year ago

  • Status changed from New to Rejected
  • Assignee deleted (Johannes Eder)

Also available in: Atom PDF