SMT Solvers for Validation of B and Event-B Models-Reference-Cited by-同舟云学术

SMT Solvers for Validation of B and Event-B Models

Published:2016 Issue: Volume: Page:361-375
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Krings Sebastian,Leuschel Michael

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-33693-0_23

Reference27 articles.

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

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

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

4. Attiogbé, C., Lanoix, A.: Modelling and analysing the landing gear system: a solution with Event-B/Rodin. Solution to ABZ 2014 case study (2014)

5. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB Standard: Version 2.5. Technical report, Department of Computer Science, The University of Iowa (2015). www.SMT-LIB.org

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

1. Speeding up SMT Solving via Compiler Optimization;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

2. Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method;iFM 2023;2023-11-06

3. Automatic refactoring of conditions and substitutions for B state transition models;Software: Practice and Experience;2023-08-24

4. Towards Practical Partial Order Reduction for High-Level Formalisms;Lecture Notes in Computer Science;2023

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