search

loonwerks / AGREE

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

Intern regression suite for AGREE #129

Closed aaurandt closed 1 year ago