Industrial Deployment of Formal Methods: Trends and Challenges-Reference-Cited by-同舟云学术

Industrial Deployment of Formal Methods: Trends and Challenges

Published:2013 Issue: Volume: Page:123-143
ISSN:
Container-title:Industrial Deployment of System Engineering Methods
language:
Short-container-title:

Author:

Fitzgerald John,Bicarregui Juan,Larsen Peter Gorm,Woodcock Jim

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-33170-1_10

Reference19 articles.

1. Austin, S., Parkin, G.: Formal methods: A survey. Technical report, National Physical Laboratory, Teddington, Middlesex, UK (March 1993)

2. Lecture Notes in Computer Science;J. Bicarregui,2009

3. Bloomfield, R., Craigen, D.: Formal methods diffusion: Past lessons and future prospects. Technical report D/167/6101. Adelard, Coborn House, 3 Coborn Road, London E3 2DA, UK (December 1999)

4. Brock, B., Kaufmann, M., Moore, J.: ACL2 theorems about commercial microprocessors. In: Srivas, M., Camilleri, A. (eds.) Proceedings of Formal Methods in Computer-Aided Design, FMCAD’96, pp. 275–293. Springer, Berlin (1996)

5. Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: A new symbolic model checker. Int. J. Softw. Tools Technol. Transf. 2(4), 410–425 (2000)

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Verification of Universal Numbers using Theorem Proving;Journal of Electronic Testing;2024-06

2. The 4SECURail Case Study on Rigorous Standard Interface Specifications;Formal Methods for Industrial Critical Systems;2023

3. Modeling and Verification of Missile Fuze Control System Using Stateful Timed CSP#;2022 IEEE 10th Joint International Information Technology and Artificial Intelligence Conference (ITAIC);2022-06-17

4. Applying formal verification to microkernel IPC at meta;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11

5. Formal modelling of OWL ontologies-based requirements for the development of safe and secure smart city systems;Soft Computing;2020-02-07