Author:
Ishii Daisuke,Tomita Takashi,Aoki Toshiaki,Ngo The Quyen,Do Thi Bich Ngoc,Takai Hideaki
Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Baranowski,2020
2. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB Standard (Version 2.6) (2021). https://smtlib.cs.uiowa.edu/
3. Biere, A., Kröning, D.: SAT-based model checking. In: Clarke, E., Henzinger, T., Veith, H., Bloem, R. (eds.) Handbook of Model Checking, pp. 277–303. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-10575-8_10
4. Bouissou, O., Chapoutot, A.: An operational semantics for Simulink’s simulation engine. ACM SIGPLAN Notices 47(5), 129–138 (2012). https://doi.org/10.1145/2345141.2248437
5. Bourbouh, H., Garoche, P.l., Loquen, T., Noulard, E., Pagetti, C.: CoCoSim, a code generation framework for control/command applications. In: ERTS, pp. 1–11 (2020)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12
2. Q: A Sound Verification Framework for Statecharts and Their Implementations;Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems;2022-11-29