GitHub · Where software is built

Open

Overdue by 11 year(s)

•

Due by June 30, 2014

Last updated Jun 12, 2015

14% complete

T0+24

Select all issues: List view

SysML Constraints to Verifiy Models for SysML to SCADE transformation

US-Define-Toolchain-Constraints

#180

· janWelte opened

on Mar 11, 2014

Translation from SysML to ACSL contracts (part of code verification)

D4.2.2 CODE-Verification

#137

· MarcBehrens opened

on Oct 17, 2013

Issue for the 2nd level Verification

#37

· MarcBehrens opened

on Jul 19, 2013

Issue for the 2nd level Validation

#36

· MarcBehrens opened

on Jul 19, 2013

Issue for the 2nd level Verification

#35

· MarcBehrens opened

on Jul 19, 2013

Code Verification and Message Based Testing applied

#34

· MarcBehrens opened

on Jul 19, 2013