SMT-Based Automatic Proof of ASM Model Refinement-Reference-Cited by-同舟云学术

SMT-Based Automatic Proof of ASM Model Refinement

Published:2016 Issue: Volume: Page:253-269
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Arcaini Paolo,Gargantini Angelo,Riccobene Elvinia

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-41591-8_17

Reference24 articles.

1. Abadi, M., Lamport, L.: The existence of refinement mappings. Theor. Comput. Sci. 82(2), 253–284 (1991)

2. Abrial, J.-R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: Application to Event-B. Fundam. Inform. 77(1), 1–28 (2007)

3. Arcaini, P., Bonfanti, S., Gargantini, A., Mashkoor, A., Riccobene, E.: Formal validation and verification of a medical software critical component. In: Proceedings of MEMOCODE 2015, pp. 80–89. IEEE (2015)

4. Lecture Notes in Computer Science;A Mashkoor,2016

5. Arcaini, P., Gargantini, A., Riccobene, E.: Using SMT for dealing with nondeterminism in ASM-based runtime verification. In: ECEASST, vol. 70 (2014)

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

1. ASMETA Tool Set for Rigorous System Design;Lecture Notes in Computer Science;2024-09-13

2. A journey with ASMETA from requirements to code: application to an automotive system with adaptive features;International Journal on Software Tools for Technology Transfer;2024-05-17

3. RATE: A model‐based testing approach that combines model refinement and test execution;Software Testing, Verification and Reliability;2022-12-18

4. Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA;Electronic Proceedings in Theoretical Computer Science;2021-11-16

5. Integration and Orchestration of Analysis Tools;Composing Model-Based Analysis Tools;2021