Ticket #67 (new task)

Opened 3 years ago

Last modified 16 months ago

implement proof system for refinements

Reported by: till Owned by: mcodescu
Priority: critical Milestone: 0.95
Component: development-graph Version: 0.7
Keywords: Cc:

Description (last modified by luecke) (diff)

this should be based on static analysis of refinements (see ticket #66) and on a proof calculus for architectural specifications (see ticket #65)

Change History

Changed 2 years ago by maeder

  • version changed from 1.0 to 0.7
  • milestone changed from 1.0 to 0.9

Changed 16 months ago by luecke

  • priority changed from major to critical
  • description modified (diff)
  • milestone changed from 0.9 to 0.93
Note: See TracTickets for help on using tickets.