/bluetooth4-murphi

Murphi Model Checking of Bluetooth 4.0 Secure Simple Pairing

Primary LanguageC++

Watchers