Integration of formal analysis into a model-based software development process
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Extending the GWV security policy and its modular application to a separation kernel
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Formal security policy models for smart card evaluations
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Survey: Linear Temporal Logic Symbolic Model Checking
Computer Science Review
| Hi-index | 0.00 |
While adding formal methods to traditional software development processes can provide very high levels of assurance and reduce costs by finding errors earlier in the development cycle, there are at least four criteria that should be considered before introducing formal methods into a project. This paper describes five successful examples of the use of formal methods in the development of high integrity systems and discusses how each project satisfied these criteria.