Model Checking the Security of the Lightning Network

Re-assign community