Validation of the ABZ Landing Gear System Using ProB-Reference-Cited by-同舟云学术

Validation of the ABZ Landing Gear System Using ProB

Published:2014 Issue: Volume: Page:66-79
ISSN:1865-0929
Container-title:Communications in Computer and Information Science
language:
Short-container-title:

Author:

Hansen Dominik,Ladenberger Lukas,Wiegard Harald,Bendisposto Jens,Leuschel Michael

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-07512-9_5

Reference10 articles.

1. Abrial, J.-R.: The B-Book. Cambridge University Press (1996)

2. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press (2010)

3. Lecture Notes in Computer Science;J.-R. Abrial,2006

4. Bendisposto, J., Birkhoff, M., Clark, J., Dobrikov, I., Fontaine, M., Fritz, F., Goebbels, R., Hansen, D., Kantner, P., Koerner, P., Krings, S., Ladenberger, L., Luo, L., Leuschel, M., Plagge, D., Spermann, C.: ProB 2.0 source code, http://github.com/bendisposto/prob2

5. Bendisposto, J., Birkhoff, M., Clark, J., Dobrikov, I., Fontaine, M., Fritz, F., Goebbels, R., Hansen, D., Kantner, P., Koerner, P., Krings, S., Ladenberger, L., Luo, L., Leuschel, M., Plagge, D., Spermann, C.: ProB 2.0 Update Site for Rodin, http://nightly.cobra.cs.uni-duesseldorf.de/experimental/updatesite/

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

1. SMT solving for the validation of B and Event-B models;International Journal on Software Tools for Technology Transfer;2022-11-21

2. Improving SMT Solver Integrations for the Validation of B and Event-B Models;Formal Methods for Industrial Critical Systems;2021

3. A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System;Rigorous State-Based Methods;2020

4. Distributed Model Checking Using ProB;Lecture Notes in Computer Science;2018

5. State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin;Lecture Notes in Computer Science;2018