search

loonwerks / AGREE

Assume-Guarantee REasoning Environment
BSD 3-Clause "New" or "Revised" License
12 stars 5 forks source link

Master issue 77 #78

Closed kfhoech closed 2 years ago

kfhoech commented 2 years ago

Adds methods to AGREE EphemeralImplementationUtil to make ephemeral system instances from component types and component implementations.

Modifies Matlab codegen and Realizability analysis to use new methods.

Resolves issue #77.