Formal Specification and Verification of Drone System using TLA+: A Case Study.

Madhusmita Das, Biju R. Mohan, Ram Mohana Reddy Guddeti

Browse the full SNPD paper archive.