Improved structural verification

osate / osate2

Open Source AADL2 Tool Environment

http://osate.org

Eclipse Public License 2.0

36 stars 8 forks source link

Open lwrage opened 6 years ago

lwrage commented 6 years ago

(PWP H4) Support structural verification of AADL (behavior) annex specifications to complement core language structural verification.