Author:
Osaiweran Ammar,Schuts Mathijs,Hooman Jozef,Groote Jan Friso,van Rijnsoever Bart
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference44 articles.
1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)
2. Abrial, J.-R.: Formal methods: theory becoming practice. J. Univ. Comput. Sci. 13(5), 619–628 (2007)
3. Badeau, F., Amelot, A.: Using B as a high level programming language in an industrial project: Roissy val. In: ZB 2005: Formal Specification and Development in Z and B. Lecture Notes in Computer Science, vol. 3455, pp. 334–354. Springer, Berlin (2005)
4. Barnes, J., Chapman, R., Johnson, R., Widmaier, J., Cooper, D., Everett, B.: Engineering the Tokeneer enclave protection system. In: Proceedings of the 1st International Symposium on Secure Software Engineering (2006)
5. Behm, P., Benoit, P., Faivre, A., Meynadier, J.-M.: Meteor: A successful application of B in a large project. In: FM’99: Formal Methods. Lecture Notes in Computer Science, vol. 1708, pp. 369–387. Springer, Berlin (1999)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21
2. Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18
3. Dezyne: Paving the Way to Practical Formal Software Engineering;Electronic Proceedings in Theoretical Computer Science;2021-08-06
4. Verifying System-Wide Properties of Industrial Component-Based Software;Fundamentals of Software Engineering;2019
5. Assessing the Quality of Tabular State Machines through Metrics;2017 IEEE International Conference on Software Quality, Reliability and Security (QRS);2017-07