A verification framework for specification centered developments
A verification framework for specification centered developments
In the paper A verification framework for specification centered developments, we propose a verification framework for specification centered developments. In this framework, we firstly focus on improve the quality of specification then use such high-quality specification to drive the verification of the design and the implementation. This framework could be applied in domain of reactive systems with high automation, adaptation, and practicality.