Compositional Verification of Sensor Software Using Uppall.

Mustafa Hammad, Jonathan Cook

Browse the full ISSRE paper archive.