Adaptive filter theory (3rd ed.)
Adaptive filter theory (3rd ed.)
On Formal Specification of a Proof Tool
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
Software-defined radio: basics and evolution to cognitive radio
EURASIP Journal on Wireless Communications and Networking
Software radio: a modern approach to radio engineering
Software radio: a modern approach to radio engineering
ClawZ: cost-effective formal verification for control systems
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Hi-index | 0.00 |
We investigate the use of ClawZ, a suite of tools for the verification of implementations of control laws, to construct formal models for control systems in the area of communications and signal-processing intensive applications. Whereas ClawZ has been successfully applied to verify control components in avionic systems, special requirements need to be identified and addressed to extend its use to the aforementioned application domain. This gives rise to several extensions, which we explain and subsequently validate by constructing the Z model of a software-defined radio communication device. The experience reported provides insight into general issues surrounding the use and extension of ClawZ.