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.
Formal verification of layered sensing architectures
2010-07-01
405188 byte
Conference paper
Electronic Resource
English
Formal Verification for Fault-Tolerant Architectures/PVS Design
British Library Conference Proceedings | 1995
|Verification of System Architectures Using Modal Logics and Formal Model Checking Techniques
British Library Conference Proceedings | 2006
|Formal Verification at System Level
British Library Conference Proceedings | 2009
|Articles - Formal Verification & Legacy Redesign
Online Contents | 1999
|