Parameterized Compositional Model Checking-Reference-Cited by-同舟云学术

Parameterized Compositional Model Checking

Published:2016 Issue: Volume: Page:589-606
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Namjoshi Kedar S.,Trefler Richard J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-49674-9_39

Reference33 articles.

1. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.-K.: General decidability theorems for infinite-state systems. In: LICS, pp. 313–321. IEEE Computer Society (1996)

2. Lecture Notes in Computer Science;PA Abdulla,2013

3. Akers, S.B., Krishnamurthy, B.: A group-theoretic model for symmetric interconnection networks. IEEE Trans. Comput. 38(4), 555–566 (1989)

4. Alur, R., Henzinger, T.: Reactive modules. In: IEEE LICS (1996)

5. Apt, K.R., Kozen, D.: Limits for automatic verification of finite-state concurrent systems. Inf. Process. Lett. 22(6), 307–309 (1986)

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

1. SoC Protocol Implementation Verification Using Instruction-Level Abstraction Specifications;ACM Transactions on Design Automation of Electronic Systems;2023-10-16

2. Parameterized Verification under TSO with Data Types;Tools and Algorithms for the Construction and Analysis of Systems;2023

3. Compositional Verification Using a Formal Component and Interface Specification;Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design;2022-10-30

4. Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE;Lecture Notes in Computer Science;2022

5. Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications;Form Comp Aid Design;2022