informalsystems / vdd

Verification-Driven Development
21 stars 0 forks source link

Informal Research Goal #15

Closed josef-widder closed 4 years ago

josef-widder commented 4 years ago

I resurrected an old document we used for research planning in summer 2019, and made small adaptations. All the tables are incomplete. Before we try to complete them, I would like to discuss here whether this is the right way to capture our research. It might also be useful to document our work for reporting to ICF.

I have a little mixed feelings about the structure/content. It starts like an actual manifesto (why we do research), and then moved towards concrete planning. While the first part should be stable, the latter part might vary over time. Perhaps we should have different documents for that? Perhaps all of that should go to the handbook?

Please let me know what you think!