omelkonian/formal-utxo

Property Preservation: Investigate temporal properties

Opened this issue · 0 comments

omelkonian commented

Reviewer: "You can only describe safety properties with finite runs (trace predicates), no temporal properties or branching logic possible"