A SystemC/TLM Semantics in Promela and Its Possible Applications-Reference-Cited by-同舟云学术

A SystemC/TLM Semantics in Promela and Its Possible Applications

Published:2007 Issue: Volume: Page:204-222
ISSN:0302-9743
Container-title:Model Checking Software
language:
Short-container-title:

Author:

Traulsen Claus,Cornet Jérôme,Moy Matthieu,Maraninchi Florence

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73370-6_14

Reference19 articles.

1. Benveniste, A., le Guernic, P., Jacquemot, C.: Synchronous programming with events and relations: the Signal language and its semantics. Technical Report 459, IRISA, Rennes, France (1989)

2. Berry, G.: The foundations of Esterel. In: Plotkin, G., Stirling, C., Tofte, M. (eds.): Proof, Language and Interaction: Essays in Honour of Robin Milner ( 2000)

3. Lecture Notes in Computer Science;D. Bosnacki,1998

4. LNCS Tutorials;M. Bozga,2004

5. Drechsler, R., Große, D.: CheckSyC: An Efficient Property Checker for RTL SystemC Designs. ISCAS 4, 4167–4170 (2005)

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

1. Verification;Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes;2024

2. Deductive Verification of Parameterized Embedded Systems Modeled in SystemC;Lecture Notes in Computer Science;2023-12-30

3. Safe Integration of Learning in SystemC using Timed Contracts and Model Checking;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21

4. Verifying SystemC TLM peripherals using modern C++ symbolic execution tools;Proceedings of the 59th ACM/IEEE Design Automation Conference;2022-07-10

5. Formale Verifikation von SystemC-basierten Entwürfen durch symbolische Simulation;Verbessertes virtuelles Prototyping;2022