Formal verification of layered sensing architectures
Benjamin Tyler, Adam Langdon, Praveen Chawla · 2010
Correct and reliable collaboration among elements of layered sensor networks is crucial for maintaining an accurate and comprehensive picture of the battlespace. This paper describes an automated method for formally verifying that the architectures and internal interactions of layered sensor networks will not fail to meet requirements.