← Using Lightweight Formal Methods to Validate a Key-Value ...