Video

Unknown · 0:00

This talk introduces a technique for testing liveness properties (not just safety properties) of smart contracts using QuickCheck-style property-based testing, developed at IOG/Well-Typed and packaged in the quickchec...

Read the full summary on tuber