informalsystems / vdd

Verification-Driven Development
21 stars 0 forks source link

How to integrate interfaces in VDD process #3

Open milosevic opened 4 years ago

milosevic commented 4 years ago

@adizere has raised good point that formalising interfaces between module under analysis and design and external modules is not covered by current VDD manifesto. We have been having lot of issues in Tendermint because of implicit assumptions at interfaces between different modules.