Ticket #65 (new feature)

Opened 3 years ago

Last modified 16 months ago

proof system for architectural specifications

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

Description

implement a proof system for architectural specifications, following the lines of chapter IV:5 of the CASL Reference Manual

Change History

Changed 21 months ago by till

  • owner changed from till to mcodescu

Changed 16 months ago by luecke

  • priority changed from major to critical
  • milestone changed from 1.0 to 0.93
Note: See TracTickets for help on using tickets.