search

spechub / Hets

The Heterogeneous Tool Set
http://hets.eu
GNU General Public License v2.0
57 stars 19 forks source link

proof system for architectural specifications #65

Open sternk opened 10 years ago

sternk commented 10 years ago

Reported by till and assigned to mcodescu Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/65

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

sternk commented 10 years ago

Comment by mcodescu Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/65#comment:3

This is already checked in, it needs testing.