Classify properties we want to express

makerdao / mkr-mcd-spec

High level KSpecification for the MCD System by Runtime Verification and Maker Foundation

GNU General Public License v3.0

28 stars 9 forks source link

Classify properties we want to express #218

Open WilfredTA opened 3 years ago

WilfredTA commented 3 years ago

This is related to ticket #229. Given the formalization, we want to find a useful taxonomy for the types of properties we want to express based on formalisms that are most appropriate for each of those.