search

softwarelanguageslab / maf

Static Analysis Framework for Modular Analyses
Other
13 stars 12 forks source link

Soft contract verification #2

Closed bramvdbogaerde closed 2 years ago

bramvdbogaerde commented 4 years ago

Work in progress.

bramvdbogaerde commented 2 years ago

Integrated in MAF through other commits.