Stream: Miscellaneous

Topic: Industrial uses of ITP


view this post on Zulip Bas Spitters (Aug 29 2020 at 11:55):

Is there an overview of industrial use cases of ITP?
I can come up with individual examples, but I expect someone to have written an overview already.

view this post on Zulip Karl Palmskog (Aug 30 2020 at 11:19):

we wrote up a very brief overview in our survey, but I would expect this is stuff you already know about: https://arxiv.org/pdf/2003.06458.pdf#page=26


Last updated: Aug 14 2022 at 12:03 UTC