HASE '02 Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering
Virtual Environment Modeling for Requirements Validation of High Consequence Systems
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
A strategy for efficiently verifying requirements
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Formal methods and testing: hypotheses, and correctness approximations
FM'05 Proceedings of the 2005 international conference on Formal Methods
Hi-index | 0.00 |
Proving the correctness of a developed specification with respect to the requirements is the most important and the most difficult task in the development of High Assurance Systems. Studies have shown that significant number of faults in real systems can be traced back to the specifications. In this short paper, we present our initial ideas on combining formal methods and specification testing for the purposes of specification verification.