search

Baltoli / project-docs

Documents for my Part III project
0 stars 0 forks source link

Characterise existing assertions #22

Closed Baltoli closed 7 years ago

Baltoli commented 7 years ago

The original paper produced a large body of "real" TESLA assertions - once I have my hands on the source code, it would be good to do a review of these and write up what kinds of patterns there are.

Baltoli commented 7 years ago

This also comes with an associated performance analysis for it to be useful - we need to know what kind of assertions are the most expensive, and how they can be analysed.

Baltoli commented 7 years ago

I now have the TESLA-annotated FreeBSD source - should check this out to see what the state of things are.