This is the repository for Architectural Modeling and Analysis for Safety Engineering (AMASE).
BSD 3-Clause "New" or "Revised" License
6
stars
4
forks
source link
Have faults show up with respective components in counterexample #6
Open
dkstewart opened 6 years ago
Each fault should show up in the list of component variables within the counterexample.